Inproceedings,

Approximate equivalence and approximate synchronization of metric transition systems.

, and .
CDC, page 905-910. IEEE, (2006)

Meta data

Tags

Users

  • @dblp

Comments and Reviews