Book
Formal Methods for Real-Time and Probabilistic Systems
5th International Amast Workshop, Arts'99, Bamberg, Germany, May 26-28, 1999, Proceedings «
Score:
Reviews:
Times tipped:
Times read:
Author(s):
Category:
ISBN
9783540660101
Welcome to Boeklezers.nl
Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
Books related to Formal Methods for Real-Time and Probabilistic Systems by J.P. Katoen
No related books yet.
Popular books this week
Idea box
