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, (Full Text)

  • 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
  • Middle East Technical University Affiliated: No