Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings / Joost-Pieter Katoen, ed.
| Author/creator | International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software |
| Other author | Katoan, Joost-Pieter. |
| Format | Book |
| Publication Info | Berlin ; New York : Springer, ©1999. |
| Description | x, 353 pages : illustrations ; 24 cm. |
| Subjects |
| Portion of title | 5th International AMAST Workshop, ARTS'99 |
| Variant title | Fifth International AMAST Workshop, ARTS'99 |
| Portion of title | International AMAST Workshop |
| Portion of title | ARTS'99 |
| Series | Lecture notes in computer science ; 1601 Lecture notes in computer science 1601. ^A466336 |
| Bibliography note | Includes bibliographical references and index. |
| ISBN | 3540660100 |