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":"QZ3QRX4845PaCKR5v","bibbaseid":"beeson-halcomb-mayer-inconsistenciesintheprocessspecificationlanguagepsl-2011","author_short":["Beeson, M.","Halcomb, J.","Mayer, W."],"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":{}}},"bibtype":"incollection","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","dataSources":["v9esbf6gQ8h64d3NA"],"keywords":["automated deduction","psl"],"search_terms":["inconsistencies","process","specification","language","psl","beeson","halcomb","mayer"],"title":"Inconsistencies in the Process Specification Language (PSL)","year":2011}