Normal view
MARC view
On extensions of timed automata (Topical Term)
Machine generated authority record.
Work cat.: (OSt)192575: Perspectives in concurrency theory /, 2009.