@article{aceto_comparing_nodate,
	title = {Comparing {Controlled} {System} {Synthesis} and {Suppression} {Enforcement}},
	journal = {Journal of Software Tools for Technology Transfer},
	author = {Aceto, Luca and Cassar, Ian and Francalanza, Adrian and Ingólfsdóttir, Anna},
	note = {To appear.},
}

{"_id":"2GHrTaiBcvRZ3PwQv","bibbaseid":"aceto-cassar-francalanza-inglfsdttir-comparingcontrolledsystemsynthesisandsuppressionenforcement","authorIDs":[],"author_short":["Aceto, L.","Cassar, I.","Francalanza, A.","Ingólfsdóttir, A."],"bibdata":{"bibtype":"article","type":"article","title":"Comparing Controlled System Synthesis and Suppression Enforcement","journal":"Journal of Software Tools for Technology Transfer","author":[{"propositions":[],"lastnames":["Aceto"],"firstnames":["Luca"],"suffixes":[]},{"propositions":[],"lastnames":["Cassar"],"firstnames":["Ian"],"suffixes":[]},{"propositions":[],"lastnames":["Francalanza"],"firstnames":["Adrian"],"suffixes":[]},{"propositions":[],"lastnames":["Ingólfsdóttir"],"firstnames":["Anna"],"suffixes":[]}],"note":"To appear.","bibtex":"@article{aceto_comparing_nodate,\n\ttitle = {Comparing {Controlled} {System} {Synthesis} and {Suppression} {Enforcement}},\n\tjournal = {Journal of Software Tools for Technology Transfer},\n\tauthor = {Aceto, Luca and Cassar, Ian and Francalanza, Adrian and Ingólfsdóttir, Anna},\n\tnote = {To appear.},\n}\n\n","author_short":["Aceto, L.","Cassar, I.","Francalanza, A.","Ingólfsdóttir, A."],"key":"aceto_comparing_nodate","id":"aceto_comparing_nodate","bibbaseid":"aceto-cassar-francalanza-inglfsdttir-comparingcontrolledsystemsynthesisandsuppressionenforcement","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://api.zotero.org/groups/2604798/items?key=ZSF7YcLGSl41KwgvxCRC9heF&format=bibtex&limit=100","creationDate":"2020-11-10T13:03:06.762Z","downloads":0,"keywords":[],"search_terms":["comparing","controlled","system","synthesis","suppression","enforcement","aceto","cassar","francalanza","ingólfsdóttir"],"title":"Comparing Controlled System Synthesis and Suppression Enforcement","year":null,"dataSources":["yQwxQitdfXht3AmDz"]}