Search results
Marketing i Rynek > 2021 > 12 > 28-39
Archives of Biochemistry and Biophysics > 2018 > 652 > C > 18-26
The European Physical Journal C > 2018 > 78 > 7 > 1-33
Nuclear Physics A > 2016 > 956 > C > 27-34
Studia Commercialia Bratislavensia > 2016 > 9 > 33 > 65-74
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Hybrid Systems > 338-358
Lecture Notes in Computer Science > FM 2009: Formal Methods > Special Track: Tools and Industrial Applications II > 692-707
Lecture Notes in Computer Science > Abstract State Machines, B and Z > Chapter 4. Z Papers > 280-293
Lecture Notes in Computer Science > ZB 2003: Formal Specification and Development in Z and B > 339-358
Lecture Notes in Computer Science > ZB 2005: Formal Specification and Development in Z and B > 262-278
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Specification and Verification > 74-93
Lecture Notes in Computer Science > Abstract State Machines, B and Z > Chapter 4. Z Papers > 323-336