Formal Methods for Real-Time and Probabilistic Systems
5th International AMAST Workshop, ARTS99 Bamberg, Germany, May 2628, 1999 Proceedings
Edición de la obra Formal Methods for Real-Time and Probabilistic Systems
| Autor | Joost-Pieter Katoen |
|---|---|
| Editorial | Springer-Verlag Berlin Heidelberg |
| Fecha de publicación | 1999 |
| Lugar | Berlin, Heidelberg |
| Idioma | inglés |
| Formato | [electronic resource] : |
| ISBN-13 | 9783540487784 |
| ISBN-10 | 3540487786 |
| OCLC | 771195822 |
| Serie | Lecture Notes in Computer Science -- 1601, · Lecture notes in computer science -- 1601, |