From Dynamic Condition Response Structures to Bchi Automata.

Raghava Rao Mukkamala, Thomas T. Hildebrandt

Browse the full TASE paper archive.