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 |