@inproceedings{ dblp2387530,
  title = {YAWL2DVE: An Automated Translator for Workflow Verification},
  author = {Fazle Rabbi and Hao Wang and Wendy MacCaull},
  author_short = {Rabbi, F. and Wang, H. and MacCaull, W.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2010},
  key = {dblp2387530},
  id = {dblp2387530},
  biburl = {http://www.dblp.org/rec/bibtex/conf/ssiri/RabbiWM10},
  url = {http://doi.ieeecomputersociety.org/10.1109/SSIRI.2010.31},
  conference = {SSIRI},
  pages = {53-59},
  text = {SSIRI 2010:53-59},
  booktitle = {Proceedings of Secure Software Integration and Reliability Improvement (SSIRI)}
}

{"_id":{"_str":"5254344e22ea65a142000453"},"__v":2,"authorIDs":[],"author_short":["Rabbi, F.","Wang, H.","MacCaull, W."],"bibbaseid":"rabbi-wang-maccaull-yawl2dveanautomatedtranslatorforworkflowverification-2010","bibdata":{"downloads":0,"urls":{"Paper":"http://doi.ieeecomputersociety.org/10.1109/SSIRI.2010.31"},"role":"author","bibbaseid":"rabbi-wang-maccaull-yawl2dveanautomatedtranslatorforworkflowverification-2010","bibtex":"@inproceedings{ dblp2387530,\n title = {YAWL2DVE: An Automated Translator for Workflow Verification},\n author = {Fazle Rabbi and Hao Wang and Wendy MacCaull},\n author_short = {Rabbi, F. and Wang, H. and MacCaull, W.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2010},\n key = {dblp2387530},\n id = {dblp2387530},\n biburl = {http://www.dblp.org/rec/bibtex/conf/ssiri/RabbiWM10},\n url = {http://doi.ieeecomputersociety.org/10.1109/SSIRI.2010.31},\n conference = {SSIRI},\n pages = {53-59},\n text = {SSIRI 2010:53-59},\n booktitle = {Proceedings of Secure Software Integration and Reliability Improvement (SSIRI)}\n}","booktitle":"Proceedings of Secure Software Integration and Reliability Improvement (SSIRI)","text":"SSIRI 2010:53-59","pages":"53-59","conference":"SSIRI","url":"http://doi.ieeecomputersociety.org/10.1109/SSIRI.2010.31","biburl":"http://www.dblp.org/rec/bibtex/conf/ssiri/RabbiWM10","id":"dblp2387530","key":"dblp2387530","year":"2010","type":"inproceedings","bibtype":"inproceedings","author_short":["Rabbi, F.","Wang, H.","MacCaull, W."],"author":["Fazle Rabbi","Hao Wang","Wendy MacCaull"],"title":"YAWL2DVE: An Automated Translator for Workflow Verification"},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/ssiri/RabbiWM10","downloads":0,"keywords":[],"search_terms":["yawl2dve","automated","translator","workflow","verification","rabbi","wang","maccaull"],"title":"YAWL2DVE: An Automated Translator for Workflow Verification","year":2010,"dataSources":["rfRog74J66xg88D3D"]}