%0 Conference Paper %1 conf/amcc/AdzkiyaSA12 %A Adzkiya, Dieky %A Schutter, Bart De %A Abate, Alessandro %B ACC %D 2012 %I IEEE %K dblp %P 721-726 %T Abstraction and verification of autonomous Max-Plus-Linear systems. %U http://dblp.uni-trier.de/db/conf/amcc/acc2012.html#AdzkiyaSA12 %@ 978-1-4577-1095-7

@inproceedings{conf/amcc/AdzkiyaSA12, added-at = {2015-02-20T00:00:00.000+0100}, author = {Adzkiya, Dieky and Schutter, Bart De and Abate, Alessandro}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/27139a750c42f29f44492af32ad844eec/dblp}, booktitle = {ACC}, crossref = {conf/amcc/2012}, ee = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6314945}, interhash = {173dbadd04261693043893b13438d408}, intrahash = {7139a750c42f29f44492af32ad844eec}, isbn = {978-1-4577-1095-7}, keywords = {dblp}, pages = {721-726}, publisher = {IEEE}, timestamp = {2016-02-02T15:01:16.000+0100}, title = {Abstraction and verification of autonomous Max-Plus-Linear systems.}, url = {http://dblp.uni-trier.de/db/conf/amcc/acc2012.html#AdzkiyaSA12}, year = 2012 }