Linear Temporal Logic and Linear Dynamic Logic on Finite Traces. Giacomo, G. D. & Vardi, M. Y. In IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, pages 854–860, 2013. IJCAI/AAAI.
Linear Temporal Logic and Linear Dynamic Logic on Finite Traces [link]Paper  bibtex   
@inproceedings{DBLP:conf/ijcai/GiacomoV13,
  author    = {Giuseppe De Giacomo and
               Moshe Y. Vardi},
  editor    = {Francesca Rossi},
  title     = {Linear Temporal Logic and Linear Dynamic Logic on Finite Traces},
  booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
               on Artificial Intelligence, Beijing, China, August 3-9, 2013},
  pages     = {854--860},
  publisher = {{IJCAI/AAAI}},
  year      = {2013},
  url       = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6997},
  timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ijcai/GiacomoV13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0