Normal view
MARC view
Computer simulation Congresses (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA)0: FORMATS 2010 (2010 : Klosterneuburg, Austria) 916948, Formal modeling and analysis of timed systems :, 2010.