@inproceedings{ dblp1954425,
  title = {A One-Pass Tableau-Based Workflow Verification Framework},
  author = {Md. Zahidul Islam and Wendy MacCaull},
  author_short = {Zahidul Islam, M. and MacCaull, W.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2012},
  key = {dblp1954425},
  id = {dblp1954425},
  biburl = {http://www.dblp.org/rec/bibtex/conf/cade/IslamM12},
  url = {http://www.easychair.org/publications/?page=759288311},
  conference = {PAAR@IJCAR},
  pages = {58-71},
  text = {PAAR@IJCAR 2012:58-71},
  booktitle = {Proceedings of PAAR@IJCAR}
}

{"_id":{"_str":"536825307d1b7b356e001b52"},"__v":1,"authorIDs":[],"author_short":["Zahidul Islam, M.","MacCaull, W."],"bibbaseid":"zahidulislam-maccaull-aonepasstableaubasedworkflowverificationframework-2012","bibdata":{"downloads":0,"urls":{"Paper":"http://www.easychair.org/publications/?page=759288311"},"role":"author","bibbaseid":"zahidulislam-maccaull-aonepasstableaubasedworkflowverificationframework-2012","bibtex":"@inproceedings{ dblp1954425,\n title = {A One-Pass Tableau-Based Workflow Verification Framework},\n author = {Md. Zahidul Islam and Wendy MacCaull},\n author_short = {Zahidul Islam, M. and MacCaull, W.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2012},\n key = {dblp1954425},\n id = {dblp1954425},\n biburl = {http://www.dblp.org/rec/bibtex/conf/cade/IslamM12},\n url = {http://www.easychair.org/publications/?page=759288311},\n conference = {PAAR@IJCAR},\n pages = {58-71},\n text = {PAAR@IJCAR 2012:58-71},\n booktitle = {Proceedings of PAAR@IJCAR}\n}","booktitle":"Proceedings of PAAR@IJCAR","text":"PAAR@IJCAR 2012:58-71","pages":"58-71","conference":"PAAR@IJCAR","url":"http://www.easychair.org/publications/?page=759288311","biburl":"http://www.dblp.org/rec/bibtex/conf/cade/IslamM12","id":"dblp1954425","key":"dblp1954425","year":"2012","type":"inproceedings","bibtype":"inproceedings","author_short":["Zahidul Islam, M.","MacCaull, W."],"author":["Md. Zahidul Islam","Wendy MacCaull"],"title":"A One-Pass Tableau-Based Workflow Verification Framework"},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/cade/IslamM12","downloads":0,"keywords":[],"search_terms":["one","pass","tableau","based","workflow","verification","framework","zahidul islam","maccaull"],"title":"A One-Pass Tableau-Based Workflow Verification Framework","year":2012,"dataSources":["JzeWDRbeoKRC5WQXj"]}