From Dynamic Condition Response Structures to Büchi Automata

Raghava Rao Mukkamala, Thomas Hildebrandt

11 Citations (Scopus)
59 Downloads (Pure)

Fingerprint

Dive into the research topics of 'From Dynamic Condition Response Structures to Büchi Automata'. Together they form a unique fingerprint.

Engineering & Materials Science