%0 Conference Paper %1 conf/wollic/BaldiCS12 %A Baldi, Paolo %A Ciabattoni, Agata %A Spendier, Lara %B WoLLIC %D 2012 %E Ong, C.-H. Luke %E de Queiroz, Ruy J. G. B. %I Springer %K dblp %P 154-167 %T Standard Completeness for Extensions of MTL: An Automated Approach. %U http://dblp.uni-trier.de/db/conf/wollic/wollic2012.html#BaldiCS12 %V 7456 %@ 978-3-642-32620-2

@inproceedings{conf/wollic/BaldiCS12, added-at = {2020-10-25T00:00:00.000+0200}, author = {Baldi, Paolo and Ciabattoni, Agata and Spendier, Lara}, biburl = {https://www.bibsonomy.org/bibtex/2ec093adc119b7e765f09ed36f3d1b5a1/dblp}, booktitle = {WoLLIC}, crossref = {conf/wollic/2012}, editor = {Ong, C.-H. Luke and de Queiroz, Ruy J. G. B.}, ee = {https://doi.org/10.1007/978-3-642-32621-9_12}, interhash = {43b45b3c49bcbad12625d71a3bbe3ed2}, intrahash = {ec093adc119b7e765f09ed36f3d1b5a1}, isbn = {978-3-642-32620-2}, keywords = {dblp}, pages = {154-167}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:01:42.000+0200}, title = {Standard Completeness for Extensions of MTL: An Automated Approach.}, url = {http://dblp.uni-trier.de/db/conf/wollic/wollic2012.html#BaldiCS12}, volume = 7456, year = 2012 }