@inproceedings{98f8277380de45ffbc20e01fa99b1235,
title = "Forward reachability computation for autonomous Max-Plus-Linear systems",
keywords = "Conf.proc. > 3 pag",
author = "D Adzkiya and {De Schutter}, B and A Abate",
note = "harvest Held as part of the European joint conferences on theory and practice of software, ETAPS 2014; TACAS 2014, Grenoble, France ; Conference date: 05-04-2014 Through 13-04-2014",
year = "2014",
doi = "10.1007/978-3-642-54862-8_17",
language = "English",
isbn = "978-364254861-1",
publisher = "Springer",
pages = "248--262",
editor = "E Abraham and K Havelund",
booktitle = "Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems",
}