Tallenna
Implementation and Application of Automata
This book constitutes the thoroughly refereed papers of the 16th International Conference on Implementation and Application of Automata, CIAA 2011, held in Blois, France, in July 2011. The papers cover various topics such as applications of automata in computer-aided verification;
- Alaotsikko
- 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, Revised Selected Papers
- ISBN
- 9783642222559
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 5.7.2011
- Sivumäärä
- 299
