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

D Adzkiya, Y. Zhang, A Abate

Research output: Contribution to journal › Article › Scientific › peer-review

5 Citations (Scopus)

Original language	English
Pages (from-to)	109-145
Journal	Discrete Event Dynamic Systems: theory and applications
Volume	26
Issue number	1
DOIs	https://doi.org/10.1007/s10626-015-0218-x
Publication status	Published - 2016

Access to Document

@article{9bb16e476f244609b93b2440516d5905,

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

author = "D Adzkiya and Y. Zhang and A Abate",

year = "2016",

doi = "10.1007/s10626-015-0218-x",

language = "English",

volume = "26",

pages = "109--145",

journal = "Discrete Event Dynamic Systems: theory and applications",

issn = "0924-6703",

publisher = "Springer",

number = "1",

}

TY - JOUR

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

AU - Adzkiya, D

AU - Zhang, Y.

AU - Abate, A

PY - 2016

Y1 - 2016

U2 - 10.1007/s10626-015-0218-x

DO - 10.1007/s10626-015-0218-x

M3 - Article

SN - 0924-6703

VL - 26

SP - 109

EP - 145

JO - Discrete Event Dynamic Systems: theory and applications

JF - Discrete Event Dynamic Systems: theory and applications

IS - 1

ER -