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)
205 Downloads (Pure)
  • 1 Konferenceoplæg

Søgeresultater