Szukana fraza: [Tytuł = "The use of model checking and the COSMA environment in the design of reactive systems"]
Wyników: 1
Mieścicki, Jerzy Uniwersytet Marii Curie-Skłodowskiej (Lublin)
2006
artykuł
