Take a photo of a barcode or cover
Read With Others
Book Information
402 pages • paperback • 2 editions
ISBN/UID: 9783540231677
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 20 Sep 2004
Description
This volume contains the proceedings of the joint conference on Formal M- elling and Analysis of Timed Systems (FORMATS) and Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT), held in Grenoble, France, on September 22-24,2004. The...
Community Reviews
Content Warnings
402 pages • paperback
ISBN/UID: 9783540231677
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 20 Sep 2004
Description
This volume contains the proceedings of the joint conference on Formal M- elling and Analysis of Timed Systems (FORMATS) and Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT), held in Grenoble, France, on September 22-24,2004. The...
Community Reviews
Content Warnings