%0 Conference Paper %1 conf/atva/BerardCHLR05 %A Bérard, Béatrice %A Cassez, Franck %A Haddad, Serge %A Lime, Didier %A Roux, Olivier H. %B ATVA %D 2005 %E Peled, Doron A. %E Tsay, Yih-Kuen %I Springer %K dblp %P 293-307 %T Comparison of Different Semantics for Time Petri Nets. %U http://dblp.uni-trier.de/db/conf/atva/atva2005.html#BerardCHLR05 %V 3707 %@ 3-540-29209-8

@inproceedings{conf/atva/BerardCHLR05, added-at = {2017-05-21T00:00:00.000+0200}, author = {Bérard, Béatrice and Cassez, Franck and Haddad, Serge and Lime, Didier and Roux, Olivier H.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/243564c63721a4c060129c2c3fdf58399/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2005}, editor = {Peled, Doron A. and Tsay, Yih-Kuen}, ee = {https://doi.org/10.1007/11562948_23}, interhash = {3e11f280f8e60811fc52150ad638f625}, intrahash = {43564c63721a4c060129c2c3fdf58399}, isbn = {3-540-29209-8}, keywords = {dblp}, pages = {293-307}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T14:12:11.000+0200}, title = {Comparison of Different Semantics for Time Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2005.html#BerardCHLR05}, volume = 3707, year = 2005 }