Search results for: Lars Michael Kristensen
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 209-223
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2001 > Full Papers > 101-120
Lecture Notes in Computer Science > Transactions on Petri Nets and Other Models of Concurrency I > 19-34
Lecture Notes in Computer Science > Transactions on Petri Nets and Other Models of Concurrency IV > 21-41
Lecture Notes in Computer Science > Application and Theory of Petri Nets 2002 > Regular Papers > 182-202
Lecture Notes in Computer Science > Petri Nets and Other Models of Concurrency – ICATPN 2007 > Full Papers > 445-464
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Implementation Techniques > 450-464
Lecture Notes in Computer Science > Application and Theory of Petri Nets 2000 > Full Papers > 346-366
Lecture Notes in Computer Science > Application and Theory of Petri Nets 2000 > Full Papers > 282-302
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Hybrid Systems > 319-337
Lecture Notes in Computer Science > Application and Theory of Petri Nets 2002 > Regular Papers > 352-373
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Contributed Papers > 70-85
Lecture Notes in Computer Science > Integration of Software Specification Techniques for Applications in Engineering > Part III: Petri Nets and Related Approaches in Engineering > 248-269
Lecture Notes in Computer Science > Application and Theory of Petri Nets 1998 > Full Papers > 104-123