Wydaw. Uniwersytetu Marii Curie-Skłodowskiej
Uniwersytet Marii Curie-Skłodowskiej (Lublin)
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica. Vol. 4 (2006)
Biblioteka Uniwersytetu Marii Curie-Skłodowskiej
24 mar 2015
24 mar 2015
15
14
http://bc.umcs.pl/publication/20416
Nazwa wydania | Data |
---|---|
Mieścicki, Jerzy - The use of model checking and the COSMA environment in the design of reactive systems | 24 mar 2015 |
Mieścicki, Jerzy Daszczuk, Wiktor B. Uniwersytet Marii Curie-Skłodowskiej (Lublin)