Inproceedings,

A Robust Specification Theory for Modal Event-Clock Automata

, and .
FIT, volume 87 of EPTCS, page 5-16. (2012)

Meta data

Tags

Users

  • @dblp

Comments and Reviews