Timed P Automata

Article OPEN
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tesei, Luca; (2009)
  • Publisher: Elsevier BV
  • Journal: Electronic Notes in Theoretical Computer Science,volume 227,pages21-36 (issn: 1571-0661)
  • Related identifiers: doi: 10.1016/j.entcs.2008.12.102
  • Subject: Theoretical Computer Science | Computer Science(all)
Share - Bookmark