An efficient algorithm to determine probabilistic...

Algorithms 2018 / 09 Vol. 11; Iss. 9

An efficient algorithm to determine probabilistic bisimulation

Groote, J.F., Rivera Verduzco, H.J., de Vink, E.P.
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
11
Langue:
english
Journal:
Algorithms
DOI:
10.3390/a11090131
Date:
September, 2018
Fichier:
PDF, 920 KB
english, 2018
La conversion en est effectuée
La conversion en a échoué