SMT-Based Bisimulation Minimisation of Markov Models

VMCAI, pp. 28-47, 2013.

Cited by: 23|Bibtex|Views4|Links
EI

Code:

Data:

Your rating :
0

 

Tags
Comments