Reachability analysis using proximity based automata

Copy For Citation

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