Formal Modeling and Analysis of Timed Systems
Subtitle: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings
By: edited by Joël Ouaknine, Frits W. Vaandrager
Contributors: Vaandrager, Frits W.; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 5813
Publisher: Springer Berlin Heidelberg
Published: 2009
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642043673; 9783642043680
Subjects: Logic design; Data processing; Computer science; Software engineering; Algebra; Information theory