Abstract Symbolic Automata

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 14, 2015
Source ID
10.1145/2676726.2676986

Entities

People

  • Arun Lakhotia
  • Isabella Mastroeni
  • Mila Dalla Preda
  • Roberto Giacobazzi

Organizations

  • Air Force Research Laboratory
  • Ministry of Education, Universities and Research
  • Tulane University of Louisiana
  • University of Verona