Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings - Softcover

 
9783642243110: Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings
Softcover
ISBN 10: 3642243118 ISBN 13: 9783642243110
Publisher: Springer, 2011

This specific ISBN edition is currently not available.

Publisher
Springer
Publication date
2011
Language
English
ISBN 10 
3642243118
ISBN 13 
9783642243110
Binding
Paperback
Number of pages
368
Editor
Fahrenberg Uli, Tripakis Stavros

Other Popular Editions of the Same Title

9783642243097: Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings (Lecture Notes in Computer Science, 6919)

Featured Edition

ISBN 10:  3642243096 ISBN 13:  9783642243097
Publisher: Springer, 2011
Softcover