Biblioteka UMCS contains 50 900 digital objects
Object
Title: The use of model checking and the COSMA environment in the design of reactive systems
Description:
Publisher:
Wydaw. Uniwersytetu Marii Curie-Skłodowskiej
Place of publication:
Contributor:
Uniwersytet Marii Curie-Skłodowskiej (Lublin)
Format:
Identifier:
Language:
Relation:
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica. Vol. 4 (2006)
Rights:
Biblioteka Uniwersytetu Marii Curie-Skłodowskiej
Object collections:
Last modified:
Mar 24, 2015
In our library since:
Mar 24, 2015
Number of object content hits:
17
Number of object content views in DjVu format
61
All available object's versions:
https://dlibra.umcs.lublin.pl/publication/20416
Show description in RDF format:
Show description in OAI-PMH format:
| Edition name | Date |
|---|---|
| Mieścicki, Jerzy - The use of model checking and the COSMA environment in the design of reactive systems | Mar 24, 2015 |
Objects Similar
Mieścicki, Jerzy Daszczuk, Wiktor B. Uniwersytet Marii Curie-Skłodowskiej (Lublin)
2006
artykuł
×