Alejandro Sánchez, César Sánchez. Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems. Annals of Mathematics and Artificial Intelligence, 80(3-4):249-282, 2017. [doi]
@article{SanchezS17-1,
title = {Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems},
author = {Alejandro Sánchez and César Sánchez},
year = {2017},
doi = {10.1007/s10472-016-9531-9},
url = {https://doi.org/10.1007/s10472-016-9531-9},
researchr = {https://researchr.org/publication/SanchezS17-1},
cites = {0},
citedby = {0},
journal = {Annals of Mathematics and Artificial Intelligence},
volume = {80},
number = {3-4},
pages = {249-282},
}