Formal modeling and analysis of timed systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings / [[Book] :]
FORMATS 2013.
Víctor Braberman, Laurent Fribourg (eds.).
- Heidelberg : Springer ., 2013.
- 1 online resource (x, 275 pages) : illustrations. ; 24 cm.
- Lecture Notes in Computer Science, 8053 0302-9743 ; LNCS sublibrary. SL 1, Theoretical computer science and general issues .
- Lecture notes in computer science ; 8053. LNCS sublibrary. SL 1, Theoretical computer science and general issues. .
International conference proceedings. Includes author index.
Includes author index.
9783642402289 (print) 3642402283 (print) 3642402291 (electronic bk.) 9783642402296 (electronic bk.)
10.1007/978-3-642-40229-6 doi
Computer simulation--Congresses.
Temporal automata--Congresses.
Formal methods (Computer science)--Congresses.
System analysis--Congresses.
Computer Simulation--Congresses.
Systems Analysis--Congresses.
Electronic books.
003 .3
/ FF
International conference proceedings. Includes author index.
Includes author index.
9783642402289 (print) 3642402283 (print) 3642402291 (electronic bk.) 9783642402296 (electronic bk.)
10.1007/978-3-642-40229-6 doi
Computer simulation--Congresses.
Temporal automata--Congresses.
Formal methods (Computer science)--Congresses.
System analysis--Congresses.
Computer Simulation--Congresses.
Systems Analysis--Congresses.
Electronic books.
003 .3
/ FF