VeriSiMPL 2: An open-source software for the verification of max-plus-linear systems

D Adzkiya, Y. Zhang, A Abate

Research output: Contribution to journalArticleScientificpeer-review

3 Citations (Scopus)
Original languageEnglish
Pages (from-to)109-145
JournalDiscrete Event Dynamic Systems: theory and applications
Volume26
Issue number1
DOIs
Publication statusPublished - 2016

Cite this