Synchronisation in Language-Level Symmetry Reduction for Probabilistic Model Checking
@inproceedings{DBLP:conf/spin/ValkovDM24,
author = {Ivaylo Valkov and
Alastair F. Donaldson and
Alice Miller},
editor = {Thomas Neele and
Anton Wijs},
title = {Synchronisation in Language-Level Symmetry Reduction for Probabilistic Model Checking},
booktitle = {Model Checking Software - 30th International Symposium, {SPIN} 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14624},
pages = {49-66},
publisher = {Springer},
year = {2024},
doi = {10.1007/978-3-031-66149-5_3},
}