Accueil > articulos > On-the-fly model checking for extended action-based probabilistic operators > BibTeX |
@article{Mateescu:79737, author = "Mateescu, R. and Requeno, J.I.", title = "{On-the-fly model checking for extended action-based probabilistic operators}", year = "2018", }