Recasting Constraint Automata into Büchi Automata
From MaRDI portal
Publication:5505600
DOI10.1007/978-3-540-85762-4_11zbMath1161.68538MaRDI QIDQ5505600
Mohammad A. Izadi, Marcello M. Bonsangue
Publication date: 27 January 2009
Published in: Theoretical Aspects of Computing - ICTAC 2008 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-85762-4_11
68Q45: Formal languages and automata
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Uses Software
Cites Work