Inconsistencies in the Process Specification Language (PSL). Beeson, M., Halcomb, J., & Mayer, W. In Höfner, P., McIver, A., & Struth, G., editors, ATE-2011, Automated Theory Engineering, Proceedings of the First Workshop on Automated Theory Engineering, Co-Located with the 23rd International Conference on Automated Deduction Wroclaw, Poland, July 31, 2011, pages 9-19. CEUR, 2011.
![Inconsistencies in the Process Specification Language (PSL) [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Pdf bibtex
Pdf bibtex @incollection{beeson2011,
author = {Michael Beeson and Jay Halcomb and Wolfgang Mayer},
booktitle = {ATE-2011, Automated Theory Engineering, Proceedings of the First Workshop on Automated Theory Engineering, Co-Located with the 23rd International Conference on Automated Deduction Wroclaw, Poland, July 31, 2011},
date-added = {2014-11-14 22:23:30 +0000},
date-modified = {2014-11-14 22:31:29 +0000},
editor = {Peter H{\"o}fner and Annabelle McIver and George Struth},
keywords = {Automated deduction, PSL},
pages = {9-19},
publisher = {CEUR},
title = {Inconsistencies in the Process Specification Language (PSL)},
url_pdf = {PSL_Inconsistencies.pdf},
year = {2011}}Downloads: 0
{"_id":"davRXn5eb48HpQFfK","authorIDs":["2SdAzEbDMovr39m3H","4zHeuQRwDkMD6Xqr8","546642d9bc7d6a460d00089c","5de8d43e9e80cdde01000195","5defeac014db5cdf0100007c","5dfc2497ff6df7de01000070","5e03ae17a94129de0100000d","5e0dc417c7ca67df01000109","5e13f6acf8aa5dde01000042","5e2f4a4c26e5cadf0100001c","5e51bde132046bdf0100010a","5e51e8358240c0df01000020","5e69258d662319de010002c5","646esaGECfJjWFymd","7mrKCLm7cPiKm5CWg","B6skFWJok43hJg7At","BGLwXT98q3Kfv9QTj","QcRbyYqcCRCSzhNb4","SsSrsyDc8aoqbnh2Y","TqZdHatzyaM88iEPt","WRMwE6oZ4X9x2raNz","XXmWhRQTdX28SvTMv","Y6CDZWnAjiy5nMvqw","Z3LjuYrif98QXhXZM","b6rQCmwcvrZxCNy6n","bo9wnnFY7yzdyp7Ys","bzE2DwxKMcdB45SRa","chfLHypwisu7qBotT","dZMcb62spBJnnjs3t","dpRM5cTGAFrusW55R","gKswhtTyf2MZBNzTm","ggWmAzYnJEh8XEXgn","gpNwNhYtCK7mSpaXS","hH3KZcgia6CKuCB3K","iGE2RbobA9XCL82JW","kTLoeuwJ8R9Lz7wYx","ntERk8MYJbwtJvdLg","pCMiYg5EBwjkwPqC5","tKZHk67ZbM8m8gTG5","wREPnWGHjcJZafazQ","wwTsH4RwBNarDwfdT"],"author_short":["Beeson, M.","Halcomb, J.","Mayer, W."],"bibbaseid":"beeson-halcomb-mayer-inconsistenciesintheprocessspecificationlanguagepsl-2011","bibdata":{"bibtype":"incollection","type":"incollection","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]},{"firstnames":["Jay"],"propositions":[],"lastnames":["Halcomb"],"suffixes":[]},{"firstnames":["Wolfgang"],"propositions":[],"lastnames":["Mayer"],"suffixes":[]}],"booktitle":"ATE-2011, Automated Theory Engineering, Proceedings of the First Workshop on Automated Theory Engineering, Co-Located with the 23rd International Conference on Automated Deduction Wroclaw, Poland, July 31, 2011","date-added":"2014-11-14 22:23:30 +0000","date-modified":"2014-11-14 22:31:29 +0000","editor":[{"firstnames":["Peter"],"propositions":[],"lastnames":["Höfner"],"suffixes":[]},{"firstnames":["Annabelle"],"propositions":[],"lastnames":["McIver"],"suffixes":[]},{"firstnames":["George"],"propositions":[],"lastnames":["Struth"],"suffixes":[]}],"keywords":"Automated deduction, PSL","pages":"9-19","publisher":"CEUR","title":"Inconsistencies in the Process Specification Language (PSL)","url_pdf":"PSL_Inconsistencies.pdf","year":"2011","bibtex":"@incollection{beeson2011,\n\tauthor = {Michael Beeson and Jay Halcomb and Wolfgang Mayer},\n\tbooktitle = {ATE-2011, Automated Theory Engineering, Proceedings of the First Workshop on Automated Theory Engineering, Co-Located with the 23rd International Conference on Automated Deduction Wroclaw, Poland, July 31, 2011},\n\tdate-added = {2014-11-14 22:23:30 +0000},\n\tdate-modified = {2014-11-14 22:31:29 +0000},\n\teditor = {Peter H{\\\"o}fner and Annabelle McIver and George Struth},\n\tkeywords = {Automated deduction, PSL},\n\tpages = {9-19},\n\tpublisher = {CEUR},\n\ttitle = {Inconsistencies in the Process Specification Language (PSL)},\n\turl_pdf = {PSL_Inconsistencies.pdf},\n\tyear = {2011}}\n\n","author_short":["Beeson, M.","Halcomb, J.","Mayer, W."],"editor_short":["Höfner, P.","McIver, A.","Struth, G."],"key":"beeson2011","id":"beeson2011","bibbaseid":"beeson-halcomb-mayer-inconsistenciesintheprocessspecificationlanguagepsl-2011","role":"author","urls":{" pdf":"http://www.michaelbeeson.com/research/papers/PSL_Inconsistencies.pdf"},"keyword":["Automated deduction","PSL"],"metadata":{"authorlinks":{"beeson, m":"http://michaelbeeson.com/"}}},"bibtype":"incollection","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","creationDate":"2014-11-14T22:34:11.649Z","downloads":2,"keywords":["automated deduction","psl"],"search_terms":["inconsistencies","process","specification","language","psl","beeson","halcomb","mayer"],"title":"Inconsistencies in the Process Specification Language (PSL)","year":2011,"dataSources":["v9esbf6gQ8h64d3NA"]}