Normal view
MARC view
FORMATS 2010 (2010 : Klosterneuburg, Austria) (Meeting Name)
Machine generated authority record.
Work cat.: (AT-ISTA)0: FORMATS 2010 (2010 : Klosterneuburg, Austria), Formal modeling and analysis of timed systems :, 2010.