@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}
}

%-------------

{"_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"]}