Search results for: Jonathan Billington
Lecture Notes in Computer Science > Petri Nets and Other Models of Concurrency – ICATPN 2007 > Full Papers > 423-444
Lecture Notes in Computer Science > Applying Formal Methods: Testing, Performance, and M/E-Commerce > TheFormEMC > 1-15
Lecture Notes in Computer Science > Application and Theory of Petri Nets 2002 > Regular Papers > 182-202
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2003 > Full Papers > 377-396
Lecture Notes in Computer Science > Applications and Theory of Petri Nets > Regular Papers > 268-287
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Probability and Concurrency > 420-435
Lecture Notes in Computer Science > Application and Theory of Petri Nets 2000 > Full Papers > 207-226
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2005 > REGULAR PAPERS > 143-158
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2005 > Full Papers > 228-249
Lecture Notes in Computer Science > Application and Theory of Petri Nets 2002 > Regular Papers > 352-373
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Papers > 483-486
Lecture Notes in Computer Science > Application and Theory of Petri Nets 2002 > Regular Papers > 273-293
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Infinite-State and Parameterized Systems > 457-473
Lecture Notes in Computer Science > Formal Techniques for Distributed Systems > Regular Contributions > 90-105
Lecture Notes in Computer Science > Mobile Data Access > Session III: Ubiquitous Information Services > 109-118
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2003 > 209-223