Search results for: Yann Thierry-Mieg
Fundamenta Informaticae > 2021 > Vol. 183, nr 3-4 > 319--342
Lecture Notes in Computer Science > Applications and Theory of Petri Nets > Regular Papers > 211-230
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2005 > REGULAR PAPERS > 443-457
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2004 > Regular Papers > 276-291
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model Checking I > 1-15
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2006 > Tutorials: Extended Abstracts > 362-365
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 336-350
Lecture Notes in Computer Science > Petri Nets and Other Models of Concurrency – ICATPN 2007 > Tool Papers > 495-504
Lecture Notes in Computer Science > Foundations of Computer Software. Future Trends and Techniques for Development > 181-200
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2003 > Full Papers > 82-101
Innovations in Systems and Software Engineering > 2008 > 4 > 3 > 293-300
Electronic Notes in Theoretical Computer Science > 2005 > 133 > Complete > 139-157