%0 Conference Paper %1 conf/ijcai/BertelloGMR16 %A Bertello, Matteo %A Gigante, Nicola %A Montanari, Angelo %A Reynolds, Mark %B IJCAI %D 2016 %E Kambhampati, Subbarao %I IJCAI/AAAI Press %K dblp %P 950-956 %T Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2016.html#BertelloGMR16 %@ 978-1-57735-771-1

@inproceedings{conf/ijcai/BertelloGMR16, added-at = {2021-07-02T00:00:00.000+0200}, author = {Bertello, Matteo and Gigante, Nicola and Montanari, Angelo and Reynolds, Mark}, biburl = {https://www.bibsonomy.org/bibtex/2bd2135214f3ce4e08b4e53e3ad5be5aa/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2016}, editor = {Kambhampati, Subbarao}, ee = {http://www.ijcai.org/Abstract/16/139}, interhash = {7826cab06123b3ca81c7972168fe4011}, intrahash = {bd2135214f3ce4e08b4e53e3ad5be5aa}, isbn = {978-1-57735-771-1}, keywords = {dblp}, pages = {950-956}, publisher = {IJCAI/AAAI Press}, timestamp = {2024-04-10T11:30:40.000+0200}, title = {Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2016.html#BertelloGMR16}, year = 2016 }