From Dynamic Condition Response Structures to Büchi Automata

Raghava Rao Mukkamala, Thomas Hildebrandt

11 Citationer (Scopus)
59 Downloads (Pure)

Fingeraftryk

Dyk ned i forskningsemnerne om 'From Dynamic Condition Response Structures to Büchi Automata'. Sammen danner de et unikt fingeraftryk.

Keyphrases

Computer Science

Biochemistry, Genetics and Molecular Biology