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