Fingeraftryk
Dyk ned i forskningsemnerne om 'Detecting quasi-equal clocks in timed automata'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
Detecting quasi-equal clocks in timed automata
Marco Muñiz, Bernd Westphal, Andreas Podelski
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
6
Citationer
(Scopus)