Recasting Constraint Automata into Buchi Automata

By M.M. (Marcello) Bonsangue and M. (Mohammad) Izadi

Publisher: 'Springer Fachmedien Wiesbaden GmbH'

Year: 2008

OAI identifier: oai:cwi.nl:13791

Provided by: CWI's Institutional Repository

Download PDF:
_{Sorry, we are unable to provide the full text but you may find it at the
following location(s):}

https://ir.cwi.nl/pub/13791 (external link)