A Complete Approximation Theory for Weighted Transition Systems

Mikkel Hansen, Kim Guldstrand Larsen, Radu Iulian Mardare, Mathias Ruggaard Pedersen, Bingtian Xue

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

2 Citationer (Scopus)
204 Downloads (Pure)

Fingeraftryk

Dyk ned i forskningsemnerne om 'A Complete Approximation Theory for Weighted Transition Systems'. Sammen danner de et unikt fingeraftryk.

Computer Science