Reachability analysis using proximity based automata


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

7th International Workshop on Discrete Event Systems, WODES 2004, Reims, Fransa, 22 - 24 Eylül 2004, cilt.37, ss.315-320 identifier

  • Cilt numarası: 37
  • Doi Numarası: 10.1016/s1474-6670(17)30765-6
  • Basıldığı Şehir: Reims
  • Basıldığı Ülke: Fransa
  • Sayfa Sayıları: ss.315-320