%0 Conference Paper %1 conf/formats/GiampaoloGRS10 %A Giampaolo, Barbara Di %A Geeraerts, Gilles %A Raskin, Jean-François %A Sznajder, Nathalie %B FORMATS %D 2010 %E Chatterjee, Krishnendu %E Henzinger, Thomas A. %I Springer %K dblp %P 2-22 %T Safraless Procedures for Timed Specifications. %U http://dblp.uni-trier.de/db/conf/formats/formats2010.html#GiampaoloGRS10 %V 6246 %@ 978-3-642-15296-2

@inproceedings{conf/formats/GiampaoloGRS10, added-at = {2017-05-26T00:00:00.000+0200}, author = {Giampaolo, Barbara Di and Geeraerts, Gilles and Raskin, Jean-François and Sznajder, Nathalie}, biburl = {https://www.bibsonomy.org/bibtex/20a7625de8069f50edd5022ee6b92a172/dblp}, booktitle = {FORMATS}, crossref = {conf/formats/2010}, editor = {Chatterjee, Krishnendu and Henzinger, Thomas A.}, ee = {https://doi.org/10.1007/978-3-642-15297-9_2}, interhash = {12fdceb72c6d3dc92e35678969d2505c}, intrahash = {0a7625de8069f50edd5022ee6b92a172}, isbn = {978-3-642-15296-2}, keywords = {dblp}, pages = {2-22}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:44:39.000+0200}, title = {Safraless Procedures for Timed Specifications.}, url = {http://dblp.uni-trier.de/db/conf/formats/formats2010.html#GiampaoloGRS10}, volume = 6246, year = 2010 }