On-the-Fly Computation of Bisimilarity Distances

Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Iulian Mardare

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

4 Citationer (Scopus)
84 Downloads (Pure)

Fingeraftryk

Dyk ned i forskningsemnerne om 'On-the-Fly Computation of Bisimilarity Distances'. Sammen danner de et unikt fingeraftryk.

Computer Science