On-the-fly model checking for extended action-based probabilistic operators
- Mateescu, R.
- Requeno, J.I.
ISSN: 1433-2787, 1433-2779
Argitalpen urtea: 2018
Alea: 20
Zenbakia: 5
Orrialdeak: 563-587
Mota: Artikulua
Aldizkaria:
International Journal on Software Tools for Technology Transfer