Formal Methods for Real-Time and Probabilistic Systems: 5th International Amast Workshop, Arts'99, Bamberg, Germany, May 26-28, 1999, Proceedings

TheaimoftheARTS'99workshopistobringtogetherresearchersandpr- titioners interested in the design of real-time and probabilistic systems. It is... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: B01LQEMR3Q
• ISBN13: 9783540660101
• Release Date: May 1999
• Publisher: Springer
• Length: 353 Pages
• Weight: 1.15 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"