Concepts of Automata Construction from LTL. Fritz, C. In Sutcliffe, G. & Voronkov, A., editors, LPAR, volume 3835, of Lecture Notes in Computer Science, pages 728-742, 2005. Springer. Link Paper bibtex @inproceedings{conf/lpar/Fritz05,
added-at = {2017-05-23T00:00:00.000+0200},
author = {Fritz, Carsten},
biburl = {https://www.bibsonomy.org/bibtex/28670bbe7122812450bfd8a354069e73d/dblp},
booktitle = {LPAR},
crossref = {conf/lpar/2005},
editor = {Sutcliffe, Geoff and Voronkov, Andrei},
ee = {https://doi.org/10.1007/11591191_50},
interhash = {9086453bcd7a2e0ac3d610e8b3351b70},
intrahash = {8670bbe7122812450bfd8a354069e73d},
isbn = {3-540-30553-X},
keywords = {dblp},
pages = {728-742},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T15:21:47.000+0200},
title = {Concepts of Automata Construction from LTL.},
url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2005.html#Fritz05},
volume = 3835,
year = 2005
}
Downloads: 0
{"_id":"YCLW2nmjnEHKncQKo","bibbaseid":"fritz-conceptsofautomataconstructionfromltl-2005","authorIDs":[],"author_short":["Fritz, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2017-05-23T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Fritz"],"firstnames":["Carsten"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/28670bbe7122812450bfd8a354069e73d/dblp","booktitle":"LPAR","crossref":"conf/lpar/2005","editor":[{"propositions":[],"lastnames":["Sutcliffe"],"firstnames":["Geoff"],"suffixes":[]},{"propositions":[],"lastnames":["Voronkov"],"firstnames":["Andrei"],"suffixes":[]}],"ee":"https://doi.org/10.1007/11591191_50","interhash":"9086453bcd7a2e0ac3d610e8b3351b70","intrahash":"8670bbe7122812450bfd8a354069e73d","isbn":"3-540-30553-X","keywords":"dblp","pages":"728-742","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2019-05-15T15:21:47.000+0200","title":"Concepts of Automata Construction from LTL.","url":"http://dblp.uni-trier.de/db/conf/lpar/lpar2005.html#Fritz05","volume":"3835","year":"2005","bibtex":"@inproceedings{conf/lpar/Fritz05,\n added-at = {2017-05-23T00:00:00.000+0200},\n author = {Fritz, Carsten},\n biburl = {https://www.bibsonomy.org/bibtex/28670bbe7122812450bfd8a354069e73d/dblp},\n booktitle = {LPAR},\n crossref = {conf/lpar/2005},\n editor = {Sutcliffe, Geoff and Voronkov, Andrei},\n ee = {https://doi.org/10.1007/11591191_50},\n interhash = {9086453bcd7a2e0ac3d610e8b3351b70},\n intrahash = {8670bbe7122812450bfd8a354069e73d},\n isbn = {3-540-30553-X},\n keywords = {dblp},\n pages = {728-742},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2019-05-15T15:21:47.000+0200},\n title = {Concepts of Automata Construction from LTL.},\n url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2005.html#Fritz05},\n volume = 3835,\n year = 2005\n}\n\n","author_short":["Fritz, C."],"editor_short":["Sutcliffe, G.","Voronkov, A."],"key":"conf/lpar/Fritz05","id":"conf/lpar/Fritz05","bibbaseid":"fritz-conceptsofautomataconstructionfromltl-2005","role":"author","urls":{"Link":"https://doi.org/10.1007/11591191_50","Paper":"http://dblp.uni-trier.de/db/conf/lpar/lpar2005.html#Fritz05"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/fritz?items=1000","creationDate":"2019-07-04T22:53:30.275Z","downloads":0,"keywords":["dblp"],"search_terms":["concepts","automata","construction","ltl","fritz"],"title":"Concepts of Automata Construction from LTL.","year":2005,"dataSources":["P8qTtTCTHaCFodAoX"]}