%0 Conference Paper %1 conf/lata/KlaudelKD14 %A Klaudel, Hanna %A Koutny, Maciej %A Duan, Zhenhua %B LATA %D 2014 %E Dediu, Adrian-Horia %E Martín-Vide, Carlos %E Sierra-Rodríguez, José Luis %E Truthe, Bianca %I Springer %K dblp %P 441-452 %T Interval Temporal Logic Semantics of Box Algebra. %U http://dblp.uni-trier.de/db/conf/lata/lata2014.html#KlaudelKD14 %V 8370 %@ 978-3-319-04920-5

@inproceedings{conf/lata/KlaudelKD14, added-at = {2017-05-24T00:00:00.000+0200}, author = {Klaudel, Hanna and Koutny, Maciej and Duan, Zhenhua}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2190893b0d4680f2107923d6d71cd3de9/dblp}, booktitle = {LATA}, crossref = {conf/lata/2014}, editor = {Dediu, Adrian-Horia and Martín-Vide, Carlos and Sierra-Rodríguez, José Luis and Truthe, Bianca}, ee = {https://doi.org/10.1007/978-3-319-04921-2_36}, interhash = {a6005c698dc21abc05708506c79dea31}, intrahash = {190893b0d4680f2107923d6d71cd3de9}, isbn = {978-3-319-04920-5}, keywords = {dblp}, pages = {441-452}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T14:28:19.000+0200}, title = {Interval Temporal Logic Semantics of Box Algebra.}, url = {http://dblp.uni-trier.de/db/conf/lata/lata2014.html#KlaudelKD14}, volume = 8370, year = 2014 }