%0 Conference Paper %1 conf/tools/DeAntoniM12 %A DeAntoni, Julien %A Mallet, Frédéric %B TOOLS (50) %D 2012 %E Furia, Carlo A. %E Nanz, Sebastian %I Springer %K dblp %P 34-41 %T TimeSquare: Treat Your Models with Logical Time. %U http://dblp.uni-trier.de/db/conf/tools/tools50-2012.html#DeAntoniM12 %V 7304 %@ 978-3-642-30560-3

@inproceedings{conf/tools/DeAntoniM12, added-at = {2017-06-05T00:00:00.000+0200}, author = {DeAntoni, Julien and Mallet, Frédéric}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/247cc03d50064a32da72d1977e288e11b/dblp}, booktitle = {TOOLS (50)}, crossref = {conf/tools/50-2012}, editor = {Furia, Carlo A. and Nanz, Sebastian}, ee = {https://doi.org/10.1007/978-3-642-30561-0_4}, interhash = {af01d330b653f9cd0afa6175ec4a18ea}, intrahash = {47cc03d50064a32da72d1977e288e11b}, isbn = {978-3-642-30560-3}, keywords = {dblp}, pages = {34-41}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T17:54:56.000+0200}, title = {TimeSquare: Treat Your Models with Logical Time.}, url = {http://dblp.uni-trier.de/db/conf/tools/tools50-2012.html#DeAntoniM12}, volume = 7304, year = 2012 }