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)

1 resultater
- Titel
- Startdato(stigende)

Filter

2nd International Symposium on Dependable Software Engineering: Theories, Tools and Applications, SETTA 2016
Mikkel Hansen (Oplægsholder)
9 nov. 2016 → 11 nov. 2016
Aktivitet: Foredrag og mundtlige bidrag › Konferenceoplæg