On-the-Fly Computation of Bisimilarity Distances

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2 Citationer (Scopus)
48 Downloads (Pure)
Filter
Afsluttet

Søgeresultater