Search results for: Marc Voorhoeve
Lecture Notes in Computer Science > Business Process Management > Formal Foundations of BPM > 320-327
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2003 > Full Papers > 337-356
Lecture Notes in Computer Science > Business Process Management > Dynamic Process Management > 225-240
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 3. Case Studies > 170-187
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2005 > Full Papers > 250-267
Lecture Notes in Computer Science > Petri Nets and Other Models of Concurrency - ICATPN 2006 > Full Papers > 241-260
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2004 > Full papers > 197-215
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Formal Languages and Methods for Designing and Verifying Complex Embedded Systems > 90-105
Lecture Notes in Computer Science > Transactions on Petri Nets and Other Models of Concurrency III > 50-70
Journal of Logic and Algebraic Programming > 2010 > 79 > 3-5 > 233-244
Data & Knowledge Engineering > 2008 > 64 > 1 > 24-37
Theoretical Computer Science > 2007 > 379 > 1-2 > 1-19