Normal view
MARC view
Temporal automata (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): FORMATS (Conference) (1st : 2003 : Marseille, France) 18160, Formal modeling and analysis of timed systems :, ©2004.