Title: Advances in Petri Nets 1985 / Edition 1, Author: Grzegorz Rozenberg
Title: Automata, Languages and Programming: 19th International Colloquium, Wien, Austria, July 13-17, 1992. Proceedings / Edition 1, Author: Werner Kuich
Title: Automata Implementation: First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers, Author: Darrell Raymond
Title: Automata Implementation: Second International Workshop on Implementing Automata, WIA'97, London, Ontario, Canada, September 18-20, 1997, Revised Papers / Edition 1, Author: Derick Wood
Title: Automata Implementation: Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers, Author: Jean-Marc Champarnaud
Title: Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / Edition 1, Author: Yuri Gurevich
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 Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings / Edition 1, Author: Luca de Alfaro
Title: Automata Implementation: 4th International Workshop on Implementing Automata, WIA'99 Potsdam, Germany, July 17-19, 2001 Revised Papers, Author: Oliver Boldt
Title: Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings / Edition 1, Author: Holger Hermanns
Title: Implementation and Application of Automata: 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers, Author: Bruce Watson
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: 8th International Conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003. Proceedings, Author: Oscar H. Ibarra
Title: Implementation and Application of Automata: 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers / Edition 1, Author: Jean-Marc Champarnaud
Title: Lectures on Concurrency and Petri Nets: Advances in Petri Nets / Edition 1, Author: Jïrg Desel
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: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Greno / Edition 1, Author: Yassine Lakhnech
Title: Implementation and Application of Automata: 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers / Edition 1, Author: Michael Domaratzki
Title: Implementation and Application of Automata: 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers / Edition 1, Author: Jacques Farré
Title: Implementation and Application of Automata: 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings, Author: Oscar H. Ibarra

Pagination Links