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