{"_id":"8RSead67WZmqt992h","bibbaseid":"hustadt-nalon-dixon-evaluatingpreprocessingtechniquesfortheseparatednormalformfortemporallogics-2018","downloads":0,"creationDate":"2018-12-06T15:06:14.227Z","title":"Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics","author_short":["Hustadt, U.","Nalon, C.","Dixon, C."],"year":2018,"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/autonomy-and-verification/autonomy-and-verification.github.io/master/pubs.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]},{"firstnames":["Cláudia"],"propositions":[],"lastnames":["Nalon"],"suffixes":[]},{"firstnames":["Clare"],"propositions":[],"lastnames":["Dixon"],"suffixes":[]}],"title":"Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics","booktitle":"Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning (PAAR)","year":"2018","pages":"34–48","editor":[{"firstnames":["Boris"],"propositions":[],"lastnames":["Konev"],"suffixes":[]},{"firstnames":["Josef"],"propositions":[],"lastnames":["Urban"],"suffixes":[]},{"firstnames":["Philipp"],"propositions":[],"lastnames":["Rümmer"],"suffixes":[]}],"number":"2162","series":"CEUR Workshop Proceedings","address":"Aachen","issn":"1613-0073","url":"http://ceur-ws.org/Vol-2162/#paper-04","venue":"Oxford, UK","eventdate":"2018-07-19","note":"[<span class=\"fs\">FAIR-SPACE</span>, <span class=\"rain\">RAIN</span>]","bibtex":"@inproceedings{HustadtEtAl:PAAR2018,\nauthor = {Ullrich Hustadt and Cl\\'audia Nalon and Clare Dixon},\ntitle = \"{Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics}\",\nbooktitle = {Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning (PAAR)},\nyear = {2018},\npages = {34--48},\neditor = {Boris Konev and Josef Urban and Philipp R\\\"ummer},\nnumber = 2162,\nseries = {CEUR Workshop Proceedings},\naddress = {Aachen},\nissn = {1613-0073},\nurl = {http://ceur-ws.org/Vol-2162/#paper-04},\nvenue = {Oxford, UK},\neventdate = {2018-07-19},\nnote = {[<span class=\"fs\">FAIR-SPACE</span>, <span class=\"rain\">RAIN</span>]}\n}\n\n","author_short":["Hustadt, U.","Nalon, C.","Dixon, C."],"editor_short":["Konev, B.","Urban, J.","Rümmer, P."],"key":"HustadtEtAl:PAAR2018","id":"HustadtEtAl:PAAR2018","bibbaseid":"hustadt-nalon-dixon-evaluatingpreprocessingtechniquesfortheseparatednormalformfortemporallogics-2018","role":"author","urls":{"Paper":"http://ceur-ws.org/Vol-2162/#paper-04"},"metadata":{"authorlinks":{"hustadt, u":"https://cgi.csc.liv.ac.uk/~ullrich/publications/"}},"downloads":0},"search_terms":["evaluating","pre","processing","techniques","separated","normal","form","temporal","logics","hustadt","nalon","dixon"],"keywords":[],"authorIDs":["aQLR39RKeqjQcByRb"],"dataSources":["77JvGFZQteoFsRiyX","sf65xF3tXwz6TBuoQ","iqRbmbCgpDeaBjend","WhiGijHmCtTSdLaAj"]}