Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%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
}