From Dynamic Condition Response Structures to Buchi Automata

Release Date:

12/08/2010

Author: Raghava Rao Mukkamala, Thomas T. Hildebrandt Conference Journal: Extended abstract for 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (Tase 2010),2010, Taipei, Taiwan.