Self Energy-Supporting Autonomous Computation

Larsen, Kim Guldstrand (Projektleder)
Hansen, René Rydhof (Projektdeltager)
Koch, Peter (Projektdeltager)
Nielsen, Brian (Projektdeltager)
Skou, Arne (Projektdeltager)

6 Konferenceartikel i proceeding
3 Bidrag til bog/antologi
2 Tidsskriftartikel
1 Rapport
Mere
- 1 Konferenceartikel i tidsskrift

2 resultater

Filter

2017
A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains
Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 2017, I: Logical Methods in Computer Science.
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang
2015
Uppaal SMC tutorial
David, A., Larsen, K. G., Legay, A., Mikučionis, M. & Poulsen, D. B., 6 jan. 2015, I: International Journal on Software Tools for Technology Transfer. 17, 4, s. 397-415 19 s.
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Fil
390 Citationer (Scopus)

2165 Downloads (Pure)