A unified view of parameterized verification of abstract models of broadcast communication
Crossref DOI link: https://doi.org/10.1007/s10009-016-0412-7
Published Online: 2016-01-25
Published Print: 2016-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Delzanno, Giorgio
Text and Data Mining valid from 2016-01-25