Formal modeling and analysis of timed systems : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013 : proceedings /

Corporate Authors: FORMATS (Conference) Buenos Aires, Argentina); SpringerLink (Online service)
Group Author: Braberman, Víctor; Fribourg, Laurent, 1957-
Published: Springer,
Publication Dates: 2013.