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, Author: Yassine Lakhnech
Title: Descriptional Complexity of Formal Systems: 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings, Author: Jürgensen
Title: Automata Implementation: Second International Workshop on Implementing Automata, WIA'97, London, Ontario, Canada, September 18-20, 1997, Revised Papers, Author: Derick Wood
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: Automata, Languages and Programming: 19th International Colloquium, Wien, Austria, July 13-17, 1992. Proceedings, Author: Werner Kuich
Title: Advances in Petri Nets 1988, Author: Grzegorz Rozenberg
Title: Automata, Languages and Programming: 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings, Author: Lars Arge
Title: Implementation and Application of Automata: 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers, Author: Jean-Marc Champarnaud

Pagination Links