%0 Conference Paper %1 conf/ppdp/OlarteV08 %A Olarte, Carlos %A Valencia, Frank D. %B PPDP %D 2008 %E Antoy, Sergio %E Albert, Elvira %I ACM %K dblp %P 8-19 %T The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security. %U http://dblp.uni-trier.de/db/conf/ppdp/ppdp2008.html#OlarteV08 %@ 978-1-60558-117-0

@inproceedings{conf/ppdp/OlarteV08, added-at = {2018-11-06T00:00:00.000+0100}, author = {Olarte, Carlos and Valencia, Frank D.}, biburl = {https://www.bibsonomy.org/bibtex/249ba0cc2e1fdcf57919cea95bf6fb13c/dblp}, booktitle = {PPDP}, crossref = {conf/ppdp/2008}, editor = {Antoy, Sergio and Albert, Elvira}, ee = {https://doi.org/10.1145/1389449.1389452}, interhash = {e9c723d4f81463d283a2448755c919cd}, intrahash = {49ba0cc2e1fdcf57919cea95bf6fb13c}, isbn = {978-1-60558-117-0}, keywords = {dblp}, pages = {8-19}, publisher = {ACM}, timestamp = {2018-11-07T14:47:26.000+0100}, title = {The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security.}, url = {http://dblp.uni-trier.de/db/conf/ppdp/ppdp2008.html#OlarteV08}, year = 2008 }