Search results for: Philippe Darondeau
Lecture Notes in Computer Science > CONCUR '92 > 302-316
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 259-274
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > 458-473
Lecture Notes in Computer Science > Application and Theory of Petri Nets 2000 > Invited Papers > 16-23
Lecture Notes in Computer Science > Applications and Theory of Petri Nets > Regular Papers > 112-131
Lecture Notes in Computer Science > Modeling and Verification of Parallel Processes > Tutorials and Papers > 125-152