Estudios
I+D+I
Institución
Internacional
Vida Universitaria
Atlantis Institut des Sciences Fictives
Recherche
Soumettre
Personnaliser
Vos alertes
Vos paniers
Vos recherches
Aide
EN
/
ES
Accueil
>
articulos
>
On-the-fly model checking for extended action-based probabilistic operators
> Accès aux Fichiers
Statistiques d'utilisation
Graphiques
On-the-fly model checking for extended action-based probabilistic operators
-
Mateescu, R.
et al
- ART-2018-107689
Main
fichier(s):
texto_completo
version 1
texto_completo.jpg (icon)
[105.89 KB]
19 aoû 2019, 09:51
Postprint
texto_completo.pdf
[837.62 KB]
19 aoû 2019, 09:51
Postprint