VeriSiMPL 2: An open-source software for the verification of max-plus-linear systems
Crossref DOI link: https://doi.org/10.1007/s10626-015-0218-x
Published Online: 2015-10-15
Published Print: 2016-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Adzkiya, Dieky
Zhang, Yining
Abate, Alessandro
Text and Data Mining valid from 2015-10-15