%0 Conference Paper %1 journals/corr/abs-1708-07230 %A Azzopardi, Shaun %A Colombo, Christian %A Pace, Gordon J. %B PrePost@iFM %D 2017 %E Francalanza, Adrian %E Pace, Gordon J. %K dblp %P 29-43 %T Control-Flow Residual Analysis for Symbolic Automata. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs254.html#abs-1708-07230 %V 254

@inproceedings{journals/corr/abs-1708-07230, added-at = {2022-01-03T00:00:00.000+0100}, author = {Azzopardi, Shaun and Colombo, Christian and Pace, Gordon J.}, biburl = {https://www.bibsonomy.org/bibtex/2620e187bb509d593120db153f591fbb8/dblp}, booktitle = {PrePost@iFM}, crossref = {journals/corr/abs-1708-06889}, editor = {Francalanza, Adrian and Pace, Gordon J.}, ee = {http://arxiv.org/abs/1708.07230}, interhash = {6e4dfe1e03b807068c5391f7845ea5f0}, intrahash = {620e187bb509d593120db153f591fbb8}, keywords = {dblp}, pages = {29-43}, series = {EPTCS}, timestamp = {2024-04-10T17:53:12.000+0200}, title = {Control-Flow Residual Analysis for Symbolic Automata.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs254.html#abs-1708-07230}, volume = 254, year = 2017 }