On-the-Fly Computation of Bisimilarity Distances

Research output: Contribution to journal › Journal article › Research › peer-review

6 Citations (Scopus)

105 Downloads (Pure)

Finished
IDEA4CPS: Foundations for Cyber-Physical Sytems
Larsen, K. G. (Project Licensee), Skou, A. (Project Participant), Nielsen, B. (Project Participant), Bulychev, P. (Project Participant), Ravn, A. P. (Project Participant) & Poulsen, D. B. (Project Participant)
01/04/2011 → 30/04/2015
Project: Research
MT-LAB: MT-LAB A VKR Foundation Center of Excellence
Larsen, K. G. (Project Manager), Skou, A. (Project Participant), Srba, J. (Project Participant), Ravn, A. P. (Project Participant), David, A. (Project Participant) & Wisniewski, R. (Project Participant)
VKR Centre of Excellence
01/10/2008 → 01/10/2013
Project: Research

Projects