Search results for: Nathalie Sznajder
Lecture Notes in Computer Science > FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers – Track B > 321-332
Lecture Notes in Computer Science > SOFSEM 2009: Theory and Practice of Computer Science > Regular Papers > 141-152
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 4: Verification and Testing > 209-224
Information Processing Letters > 2015 > 115 > 1 > 52-59
Formal Methods in System Design > 2014 > 45 > 3 > 330-380
Information Processing Letters > 2012 > 112 > 24 > 963-968
Formal Methods in System Design > 2009 > 34 > 3 > 215-237