Lecture Notes in Computer Science: Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings

Lakhnech, Yassine; Yovine, Sergio

Details

Published by: Springer

Publication Date: 2004-09-20

Format: Paperback

ISBN-13: 9783540231677

DOI: 10.1007/b100824

Dimensions: 235cm x155cm

Pages: 402