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.)
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) |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
New York :
Springer,
©1999.
|
| Series: | Lecture notes in computer science ;
1601. |
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA76.9.F67 I577 1999
|
|---|---|
| QA76.9.F67 I577 1999 | Available |