Search results for: Ranko Lazić
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Testing and Model Checking > 529-548
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > 490-504
Lecture Notes in Computer Science > FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers – Track B > 381-392
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 1. Extensions of Timed Automata and Semantics > 63-77
Lecture Notes in Computer Science > Petri Nets and Other Models of Concurrency – ICATPN 2007 > Full Papers > 301-320
Lecture Notes in Computer Science > Communicating Sequential Processes. The First 25 Years > Automated Development and Model Checking > 275-291
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Submitted Papers > 167-181
Journal of Computer and System Sciences > 2013 > 79 > 1 > 23-38
International Journal on Software Tools for Technology Transfer > 2011 > 13 > 6 > 553-569
Information Processing Letters > 2010 > 110 > 17 > 740-745
Theoretical Computer Science > 2010 > 411 > 22-24 > 2298-2316
International Journal on Software Tools for Technology Transfer > 2010 > 12 > 5 > 373-389