-
Bib ID# 31716
ISBN: 9783642402296
UPC: 10.1007/978-3-642-40229-6
Title: Formal Modeling and Analysis of Timed Systems11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings /
Author: Braberman, Víctor.
Publication Info:
Item Type: Language material