%0 Conference Paper %1 conf/lpar/MorgensternGS12 %A Morgenstern, Andreas %A Gesell, Manuel %A Schneider, Klaus %B LPAR %D 2012 %E Bjørner, Nikolaj %E Voronkov, Andrei %I Springer %K dblp %P 304-319 %T An Asymptotically Correct Finite Path Semantics for LTL. %U http://dblp.uni-trier.de/db/conf/lpar/lpar2012.html#MorgensternGS12 %V 7180 %@ 978-3-642-28716-9

@inproceedings{conf/lpar/MorgensternGS12, added-at = {2017-05-23T00:00:00.000+0200}, author = {Morgenstern, Andreas and Gesell, Manuel and Schneider, Klaus}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2573bce06312a49cc4e39e7d05b870d8c/dblp}, booktitle = {LPAR}, crossref = {conf/lpar/2012}, editor = {Bjørner, Nikolaj and Voronkov, Andrei}, ee = {https://doi.org/10.1007/978-3-642-28717-6_24}, interhash = {3cbea91c9d26fc0c1d16a86cf65e1dc0}, intrahash = {573bce06312a49cc4e39e7d05b870d8c}, isbn = {978-3-642-28716-9}, keywords = {dblp}, pages = {304-319}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T12:46:47.000+0200}, title = {An Asymptotically Correct Finite Path Semantics for LTL.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2012.html#MorgensternGS12}, volume = 7180, year = 2012 }