On-the-Fly Exact Computation of Bisimilarity Distances

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

32 Citationer (Scopus)
Filter
Afsluttet

Søgeresultater