Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems
Crossref DOI link: https://doi.org/10.1007/s10472-016-9531-9
Published Online: 2016-11-15
Published Print: 2017-08
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Sánchez, Alejandro
Sánchez, César
License valid from 2016-11-15