Self Energy-Supporting Autonomous Computation

Larsen, Kim Guldstrand (Project Manager)
Hansen, René Rydhof (Project Participant)
Koch, Peter (Project Participant)
Nielsen, Brian (Project Participant)
Skou, Arne (Project Participant)

6 Article in proceeding
3 Book chapter
2 Journal article
1 Report
More
- 1 Conference article in Journal

2 results

Filter

2017
A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains
Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 2017, In: Logical Methods in Computer Science.
Research output: Contribution to journal › Journal article › Research › peer-review

Open Access
2015
Uppaal SMC tutorial
David, A., Larsen, K. G., Legay, A., Mikučionis, M. & Poulsen, D. B., 6 Jan 2015, In: International Journal on Software Tools for Technology Transfer. 17, 4, p. 397-415 19 p.
Research output: Contribution to journal › Journal article › Research › peer-review

File
390 Citations (Scopus)

2174 Downloads (Pure)