Search results for: Sami Evangelista
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2005 > Tool Papers > 455-464
Lecture Notes in Computer Science > Reliable Software Technologies — Ada-Europe 2003 > Static Analysis > 168-181
Lecture Notes in Computer Science > Model Checking Software > State Representation and Abstraction > 43-57
Lecture Notes in Computer Science > Transactions on Petri Nets and Other Models of Concurrency IV > 21-41
Lecture Notes in Computer Science > Reliable Software Technology – Ada-Europe 2005 > Formal Methods > 91-104
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 381-396
Lecture Notes in Computer Science > Transactions on Petri Nets and Other Models of Concurrency III > 189-215
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Contributed Papers > 70-85
Lecture Notes in Computer Science > Petri Nets and Other Models of Concurrency - ICATPN 2006 > Full Papers > 146-165
Science of Computer Programming > 2013 > 78 > 7 > 778-795
International Journal on Software Tools for Technology Transfer > 2010 > 12 > 2 > 155-170