VeriSiMPL 2: An open-source software for the verification of max-plus-linear systems
Journal Article
(2016)
Author(s)
D. Adzkiya (Institut Teknologi Sepuluh Nopember, TU Delft - Team Bart De Schutter)
Y. Zhang (University of Oxford)
A Abate (University of Oxford)
Research Group
Team Bart De Schutter
DOI related publication
https://doi.org/10.1007/s10626-015-0218-x
To reference this document use:
https://resolver.tudelft.nl/uuid:9bb16e47-6f24-4609-b93b-2440516d5905
More Info
expand_more
expand_more
Publication Year
2016
Language
English
Research Group
Team Bart De Schutter
Issue number
1
Volume number
26
Pages (from-to)
109-145
No files available
Metadata only record. There are no files for this record.