-
Bib ID# 35380
ISBN: 9783540754541
UPC: 10.1007/978-3-540-75454-1
Title: Formal Modeling and Analysis of Timed Systems5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings /
Author: Raskin, Jean-François.
Publication Info:
Item Type: Language material