-
Bib ID# 41417
ISBN: 9783642243103
UPC: 10.1007/978-3-642-24310-3
Title: Formal Modeling and Analysis of Timed Systems9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings /
Author: Fahrenberg, Uli.
Publication Info:
Item Type: Language material