Title: Abstract State Machines 2003: Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings, Author: Egon Bïrger
Title: Implementation and Application of Automata: 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers, Author: Sheng Yu
Title: Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings, Author: Holger Hermanns
Title: Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings, Author: Wolf Zimmermann
Title: Advances in Petri Nets 1985, Author: Grzegorz Rozenberg
Title: Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings, Author: Luca de Alfaro
Title: Implementation and Application of Automata: 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers, Author: Bruce Watson

Pagination Links