Search results for: Dragan Bošnački
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 5 > 493-497
Lecture Notes in Computer Science > Computational Methods in Systems Biology > Short Papers > 225-230
Lecture Notes in Computer Science > Model Checking Software > Abstraction and Symbolic Methods > 198-215
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model-Checking Tools > 363-377
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 300-315
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Selected Posters > 205-206
Lecture Notes in Computer Science > FM 2005: Formal Methods > Abstraction, Retrenchment and Rewriting > 366-381
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Sytems — FORTE 2002 > 65-80
Lecture Notes in Computer Science > FME 2001: Formal Methods for Increasing Software Productivity > 518-533
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 307-310