@inproceedings{DBLP:journals/corr/abs-1708-07230, author= {Shaun Azzopardi and
               Christian Colombo and
               Gordon J. Pace}, title= {Control-Flow Residual Analysis for Symbolic Automata}, booktitle= {Proceedings Second International Workshop on Pre- and Post-Deployment
               Verification Techniques, PrePost@iFM 2017, Torino, Italy, 19 September
               2017.}, pages= {29--43}, year= {2017}, crossref= {DBLP:journals/corr/abs-1708-06889}, url= {https://doi.org/10.4204/EPTCS.254.3}, doi= {10.4204/EPTCS.254.3}, timestamp= {Wed, 12 Sep 2018 01:00:00 +0200}, biburl= {https://dblp.org/rec/bib/journals/corr/abs-1708-07230}, bibsource= {dblp computer science bibliography, https://dblp.org}}

{"_id":"6bP2EJqNrv7EgPxpG","bibbaseid":"azzopardi-colombo-pace-controlflowresidualanalysisforsymbolicautomata-2017","authorIDs":["8sEvMX4Nga4Xz4o3t"],"author_short":["Azzopardi, S.","Colombo, C.","Pace, G. J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Shaun"],"propositions":[],"lastnames":["Azzopardi"],"suffixes":[]},{"firstnames":["Christian"],"propositions":[],"lastnames":["Colombo"],"suffixes":[]},{"firstnames":["Gordon","J."],"propositions":[],"lastnames":["Pace"],"suffixes":[]}],"title":"Control-Flow Residual Analysis for Symbolic Automata","booktitle":"Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, PrePost@iFM 2017, Torino, Italy, 19 September 2017.","pages":"29–43","year":"2017","crossref":"DBLP:journals/corr/abs-1708-06889","url":"https://doi.org/10.4204/EPTCS.254.3","doi":"10.4204/EPTCS.254.3","timestamp":"Wed, 12 Sep 2018 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/journals/corr/abs-1708-07230","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:journals/corr/abs-1708-07230, author= {Shaun Azzopardi and\n Christian Colombo and\n Gordon J. Pace}, title= {Control-Flow Residual Analysis for Symbolic Automata}, booktitle= {Proceedings Second International Workshop on Pre- and Post-Deployment\n Verification Techniques, PrePost@iFM 2017, Torino, Italy, 19 September\n 2017.}, pages= {29--43}, year= {2017}, crossref= {DBLP:journals/corr/abs-1708-06889}, url= {https://doi.org/10.4204/EPTCS.254.3}, doi= {10.4204/EPTCS.254.3}, timestamp= {Wed, 12 Sep 2018 01:00:00 +0200}, biburl= {https://dblp.org/rec/bib/journals/corr/abs-1708-07230}, bibsource= {dblp computer science bibliography, https://dblp.org}}\n\n\n","author_short":["Azzopardi, S.","Colombo, C.","Pace, G. J."],"key":"DBLP:journals/corr/abs-1708-07230","id":"DBLP:journals/corr/abs-1708-07230","bibbaseid":"azzopardi-colombo-pace-controlflowresidualanalysisforsymbolicautomata-2017","role":"author","urls":{"Paper":"https://doi.org/10.4204/EPTCS.254.3"},"metadata":{"authorlinks":{"azzopardi, s":"https://shaunazzopardi.github.io/"}},"downloads":0},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/shaunazzopardi/shaunazzopardi.github.io/master/pubs.bib","creationDate":"2020-08-01T07:41:07.388Z","downloads":0,"keywords":[],"search_terms":["control","flow","residual","analysis","symbolic","automata","azzopardi","colombo","pace"],"title":"Control-Flow Residual Analysis for Symbolic Automata","year":2017,"dataSources":["mtLriRvYqkiErXwmg"]}