Normal view
MARC view
FORMATS (Conference) (3rd : 2005 : Uppsala, Sweden) (Meeting Name)
Machine generated authority record.
Work cat.: (AT-ISTA): FORMATS (Conference) (3rd : 2005 : Uppsala, Sweden), Formal modeling and analysis of timed systems :, ©2005.