Author： Larsen Kim G. Pettersson Paul Yi Wang
Publisher： Springer Publishing Company
ISSN： 1433-2779
Source： International Journal on Software Tools for Technology Transfer, Vol.1, Iss.1-2, 1997-12, pp. : 134-152
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
Scenario-based verification of real-time systems using Uppaal
By Li Shuhao
Formal Methods in System Design, Vol. 37, Iss. 2-3, 2010-12 ,pp. :
Access to resources
Recommend
The Romanian wordnet in a nutshell
By Tufiş Dan Mititelu Verginica Ştefănescu Dan Ion Radu
Language Resources and Evaluation, Vol. 47, Iss. 4, 2013-12 ,pp. :