
Publikationer (1)
- Udgivet
Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review