On-the-Fly Exact Computation of Bisimilarity Distances

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

34 Citationer (Scopus)

Søgeresultater