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 |