From Dynamic Condition Response Structures to Büchi Automata

Raghava Rao Mukkamala, Thomas Hildebrandt

Computer Science

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

1 resultater
- Relevans

TRUSTCARE: Trustworthy Pervasive Healthcare Services
Hildebrandt, T. (PI), Bardram, J. (CoI), Mukkamala, R. R. (CoI) & Bunde-Pedersen, J. (CoI)
Danish Council for Strategic Research
01/01/2008 → 30/06/2012
Projekter: Projekt › Forskning