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
>
A linear temporal logic model checking method over finite words with correlated transition attributes
> Accès aux Fichiers
Statistiques d'utilisation
Graphiques
A linear temporal logic model checking method over finite words with correlated transition attributes
-
Couvreur, J.M.
et al
- ART-2017-104728
Main
fichier(s):
texto_completo
version 1
texto_completo.jpg (icon)
[59.79 KB]
11 avr 2018, 11:57
Versión publicada
texto_completo.pdf
[298.85 KB]
11 avr 2018, 11:57
Versión publicada