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: 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers / Edition 1, Author: Michael Domaratzki
Title: Language and Automata Theory and Applications: Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers / Edition 1, Author: Carlos Martin-Vide
Title: Lectures on Concurrency and Petri Nets: Advances in Petri Nets / Edition 1, Author: Jïrg Desel
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: 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

Pagination Links