%0 Journal Article %1 journals/tac/GaubertM99 %A Gaubert, Stéphane %A Mairesse, Jean %D 1999 %J IEEE Trans. Automat. Contr. %K dblp %N 4 %P 683-697 %T Modeling and analysis of timed Petri nets using heaps of pieces. %U http://dblp.uni-trier.de/db/journals/tac/tac44.html#GaubertM99 %V 44

@article{journals/tac/GaubertM99, added-at = {2015-02-11T00:00:00.000+0100}, author = {Gaubert, Stéphane and Mairesse, Jean}, biburl = {https://www.bibsonomy.org/bibtex/28be96e9471cc21bd8b89f313aa09ffe7/dblp}, ee = {http://dx.doi.org/10.1109/9.754807}, interhash = {44c879f284d0f954ea043674ead57ca6}, intrahash = {8be96e9471cc21bd8b89f313aa09ffe7}, journal = {IEEE Trans. Automat. Contr.}, keywords = {dblp}, number = 4, pages = {683-697}, timestamp = {2015-06-18T01:24:36.000+0200}, title = {Modeling and analysis of timed Petri nets using heaps of pieces.}, url = {http://dblp.uni-trier.de/db/journals/tac/tac44.html#GaubertM99}, volume = 44, year = 1999 }