-
Bib ID# 38287
ISBN: 9783642043680
UPC: 10.1007/978-3-642-04368-0
Title: Formal Modeling and Analysis of Timed Systems7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings /
Author: Ouaknine, Joël.
Publication Info:
Item Type: Language material