<?xml version="1.0"?>
<dblp>
<inproceedings key="conf/formats/Gaubert09" mdate="2009-09-05">
<author>Stephane Gaubert</author>
<title>Max-plus Algebraic Tools for Discrete Event Systems, Static Analysis, and Zero-Sum Games.</title>
<pages>7-11</pages>
<year>2009</year>
<booktitle>FORMATS</booktitle>
<ee>http://dx.doi.org/10.1007/978-3-642-04368-0_2</ee>
<crossref>conf/formats/2009</crossref>
<url>db/conf/formats/formats2009.html#Gaubert09</url>
</inproceedings>
</dblp>
