Search for: [Title = "The use of model checking and the COSMA environment in the design of reactive systems"]
Number of results: 1
Mieścicki, Jerzy Uniwersytet Marii Curie-Skłodowskiej (Lublin)
2006
artykuł
