Reachability analysis using proximity based automata


Kapinski J., Schmidt K. V. , Krogh B.

7th International Workshop on Discrete Event Systems, WODES 2004, Reims, France, 22 - 24 September 2004, vol.37, pp.315-320 identifier

  • Publication Type: Conference Paper / Full Text
  • Volume: 37
  • Doi Number: 10.1016/s1474-6670(17)30765-6
  • City: Reims
  • Country: France
  • Page Numbers: pp.315-320