Formal modeling and analysis of timed systems : 8th international conference : proceedings, FORMATS, Klosterneuburg, Austria, Sept. 8-10, 2010 (e-book)
Formal modeling and analysis of timed systems : 8th international conference : proceedings, FORMATS, Klosterneuburg, Austria, Sept. 8-10, 2010 (e-book)
- Berlin Springer 2010
- Lecture Notes in Computer Science (LNCS) v.6246 LNCS Sublibrary : SL 1 – Theoretical computer science and general issues .
978-3-642-15297-9
Computer Science and Engineering
Computer simulation--Congresses
Temporal automata--Congresses
Formal methods (Computer science)--Congresses
978-3-642-15297-9
Computer Science and Engineering
Computer simulation--Congresses
Temporal automata--Congresses
Formal methods (Computer science)--Congresses