Search results
Studia Ekonomiczne > 2016 > 268 > 135-143
Elektrotechnika i Elektronika > 2006 > T. 25, z. 1 > 1-9
Journal of Seismology > 2017 > 21 > 6 > 1427-1438
Lecture Notes in Computer Science > FME '97: Industrial Applications and Strengthened Foundations of Formal Methods > 644-664
Lecture Notes in Computer Science > Web Services > Web Services Composition and Negotiation > 198-212
Lecture Notes in Computer Science > Model Checking Software > Parallel state space construction for model-checking > 217-234
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Contributed Talks > 57-71
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Contributed Talks > 460-474
Lecture Notes in Computer Science > Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness > 130-152
2014 IEEE 23rd International WETICE Conference > 372 - 377
Journal of Network and Computer Applications > 2013 > 36 > 4 > 1102-1115
Metody Informatyki Stosowanej > 2011 > nr 5 > 159-166