Normal view MARC view

On extensions of timed automata (Topical Term)

Preferred form: On extensions of timed automata

Machine generated authority record.

Work cat.: (OSt)192575: Perspectives in concurrency theory /, 2009.