Using propositional logic for requirements verification of service workflow. Da Xu, L., Viriyasitavat, W., Ruchikachorn, P., & Martin, A. IEEE Transactions on Industrial Informatics, 8(3):639–646, 2012. publisher: IEEEdoi bibtex @article{da_xu_using_2012,
title = {Using propositional logic for requirements verification of service workflow},
volume = {8},
doi = {10/f359g6},
number = {3},
journal = {IEEE Transactions on Industrial Informatics},
author = {Da Xu, Li and Viriyasitavat, Wattana and Ruchikachorn, Puripan and Martin, Andrew},
year = {2012},
note = {publisher: IEEE},
pages = {639--646},
}
Downloads: 0
{"_id":"syQYZi2WorjeBzXY6","bibbaseid":"daxu-viriyasitavat-ruchikachorn-martin-usingpropositionallogicforrequirementsverificationofserviceworkflow-2012","author_short":["Da Xu, L.","Viriyasitavat, W.","Ruchikachorn, P.","Martin, A."],"bibdata":{"bibtype":"article","type":"article","title":"Using propositional logic for requirements verification of service workflow","volume":"8","doi":"10/f359g6","number":"3","journal":"IEEE Transactions on Industrial Informatics","author":[{"propositions":[],"lastnames":["Da","Xu"],"firstnames":["Li"],"suffixes":[]},{"propositions":[],"lastnames":["Viriyasitavat"],"firstnames":["Wattana"],"suffixes":[]},{"propositions":[],"lastnames":["Ruchikachorn"],"firstnames":["Puripan"],"suffixes":[]},{"propositions":[],"lastnames":["Martin"],"firstnames":["Andrew"],"suffixes":[]}],"year":"2012","note":"publisher: IEEE","pages":"639–646","bibtex":"@article{da_xu_using_2012,\n\ttitle = {Using propositional logic for requirements verification of service workflow},\n\tvolume = {8},\n\tdoi = {10/f359g6},\n\tnumber = {3},\n\tjournal = {IEEE Transactions on Industrial Informatics},\n\tauthor = {Da Xu, Li and Viriyasitavat, Wattana and Ruchikachorn, Puripan and Martin, Andrew},\n\tyear = {2012},\n\tnote = {publisher: IEEE},\n\tpages = {639--646},\n}\n\n","author_short":["Da Xu, L.","Viriyasitavat, W.","Ruchikachorn, P.","Martin, A."],"key":"da_xu_using_2012","id":"da_xu_using_2012","bibbaseid":"daxu-viriyasitavat-ruchikachorn-martin-usingpropositionallogicforrequirementsverificationofserviceworkflow-2012","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["using","propositional","logic","requirements","verification","service","workflow","da xu","viriyasitavat","ruchikachorn","martin"],"title":"Using propositional logic for requirements verification of service workflow","year":2012}