Verification of Aspectual Composition in Feature-Modeling. Zhang, Q., Khedri, R., & Jaskolka, J. In Eleftherakis, G., Hinchey, M., & Holcombe, M., editors, Software Engineering and Formal Methods, volume 7504, of Lecture Notes in Computer Science, pages 109 – 125. Springer Berlin / Heidelberg, 2012. bibtex @incollection{ZhangKhedriJaskolka2012b,
author = {Qinglei Zhang and Ridha Khedri and Jason Jaskolka},
title = {Verification of Aspectual Composition in Feature-Modeling},
booktitle = {Software Engineering and Formal Methods},
series = {Lecture Notes in Computer Science},
editor = {George Eleftherakis and Mike Hinchey and Mike Holcombe},
publisher = {Springer Berlin / Heidelberg},
isbn = {978-3-642-33825-0},
OPTkeyword = {Computer Science},
pages = {109 -- 125},
volume = {7504},
OPTurl = {http://dx.doi.org/10.1007/978-3-642-33826-7_8},
OPTnote = {10.1007/978-3-642-33826-7_8},
year = {2012}
}
%-------------
Downloads: 0
{"_id":"MwreTFSWmxivM6jbC","bibbaseid":"zhang-khedri-jaskolka-verificationofaspectualcompositioninfeaturemodeling-2012","downloads":0,"creationDate":"2016-02-02T16:45:04.240Z","title":"Verification of Aspectual Composition in Feature-Modeling","author_short":["Zhang, Q.","Khedri, R.","Jaskolka, J."],"year":2012,"bibtype":"incollection","biburl":"http://www.cas.mcmaster.ca/~khedri/wp-content/uploads/BIBLIOGRAPHY/cvbib.bib","bibdata":{"bibtype":"incollection","type":"incollection","author":[{"firstnames":["Qinglei"],"propositions":[],"lastnames":["Zhang"],"suffixes":[]},{"firstnames":["Ridha"],"propositions":[],"lastnames":["Khedri"],"suffixes":[]},{"firstnames":["Jason"],"propositions":[],"lastnames":["Jaskolka"],"suffixes":[]}],"title":"Verification of Aspectual Composition in Feature-Modeling","booktitle":"Software Engineering and Formal Methods","series":"Lecture Notes in Computer Science","editor":[{"firstnames":["George"],"propositions":[],"lastnames":["Eleftherakis"],"suffixes":[]},{"firstnames":["Mike"],"propositions":[],"lastnames":["Hinchey"],"suffixes":[]},{"firstnames":["Mike"],"propositions":[],"lastnames":["Holcombe"],"suffixes":[]}],"publisher":"Springer Berlin / Heidelberg","isbn":"978-3-642-33825-0","optkeyword":"Computer Science","pages":"109 – 125","volume":"7504","opturl":"http://dx.doi.org/10.1007/978-3-642-33826-7_8","optnote":"10.1007/978-3-642-33826-7_8","year":"2012","bibtex":"@incollection{ZhangKhedriJaskolka2012b,\n author = {Qinglei Zhang and Ridha Khedri and Jason Jaskolka}, \n title = {Verification of Aspectual Composition in Feature-Modeling},\n booktitle = {Software Engineering and Formal Methods},\n series = {Lecture Notes in Computer Science},\n editor = {George Eleftherakis and Mike Hinchey and Mike Holcombe},\n publisher = {Springer Berlin / Heidelberg},\n isbn = {978-3-642-33825-0},\n OPTkeyword = {Computer Science},\n pages = {109 -- 125},\n volume = {7504},\n OPTurl = {http://dx.doi.org/10.1007/978-3-642-33826-7_8},\n OPTnote = {10.1007/978-3-642-33826-7_8},\n year = {2012}\n}\n\n%-------------\n\n","author_short":["Zhang, Q.","Khedri, R.","Jaskolka, J."],"editor_short":["Eleftherakis, G.","Hinchey, M.","Holcombe, M."],"key":"ZhangKhedriJaskolka2012b","id":"ZhangKhedriJaskolka2012b","bibbaseid":"zhang-khedri-jaskolka-verificationofaspectualcompositioninfeaturemodeling-2012","role":"author","urls":{},"metadata":{"authorlinks":{"khedri, r":"http://www.cas.mcmaster.ca/khedri/"}},"downloads":0,"html":""},"search_terms":["verification","aspectual","composition","feature","modeling","zhang","khedri","jaskolka"],"keywords":[],"authorIDs":["fjFPj4EHaK6KNXhFi"],"dataSources":["R4pF6oKzFC7B5Dxhj"]}