| Type |  Book |
| ชื่อเรื่อง | Formal methods for real-time and probabilistic systems : 5th international AMAST workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 ; proceedings / edited by Joost-Pieter Katoen |
| ISBN | 3540660100 |
| | 9783540660101 |
| พิมพลักษณ์ | Berlin : Springer, c1999 |
| รูปเล่ม | 353 p. : ill |
| หัวเรื่อง | Real-time data processing |
| | Systems engineering |
| | Computer software verification |
| | Congresses |