On-the-fly model checking for extended action-based probabilistic operators
- Mateescu, R.
- Requeno, J.I.
ISSN: 1433-2787, 1433-2779
Año de publicación: 2018
Volumen: 20
Número: 5
Páginas: 563-587
Tipo: Artículo
ISSN: 1433-2787, 1433-2779
Año de publicación: 2018
Volumen: 20
Número: 5
Páginas: 563-587
Tipo: Artículo