On-the-Fly Exact Computation of Bisimilarity Distances

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

31 Citationer (Scopus)
Filter
Afsluttet

Søgeresultater