Formal Methods for Real-Time and Probabilistic Systems [electronic resource] : 5th International AMAST Workshop, ARTS99 Bamberg, Germany, May 2628, 1999 Proceedings / edited by Joost-Pieter Katoen.
This book constitutes the refereed proceedings of the Fifth International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems, ARTS '99, held in Bamberg, Germany in May 1999. The 17 revised full papers presented together with three invited contributions were carefully revie...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Other Authors: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin ; Heidelberg :
Springer-Verlag Berlin Heidelberg,
1999.
|
| Series: | Lecture notes in computer science ;
1601, |
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA76.9.L63
|
|---|---|
| QA76.9.L63 | Available |