%0 Journal Article %1 journals/scp/SchellhornEPBR18 %A Schellhorn, Gerhard %A Ernst, Gidon %A Pfähler, Jörg %A Bodenmüller, Stefan %A Reif, Wolfgang %D 2018 %J Sci. Comput. Program. %K dblp %P 21-40 %T Symbolic execution for a clash-free subset of ASMs. %U http://dblp.uni-trier.de/db/journals/scp/scp158.html#SchellhornEPBR18 %V 158

@article{journals/scp/SchellhornEPBR18, added-at = {2024-02-05T00:00:00.000+0100}, author = {Schellhorn, Gerhard and Ernst, Gidon and Pfähler, Jörg and Bodenmüller, Stefan and Reif, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/2260e4979596af19ef24ae608093b6145/dblp}, ee = {https://doi.org/10.1016/j.scico.2017.08.014}, interhash = {634eeed65a510486a30232357cd7f833}, intrahash = {260e4979596af19ef24ae608093b6145}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = {21-40}, timestamp = {2024-04-09T05:28:08.000+0200}, title = {Symbolic execution for a clash-free subset of ASMs.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp158.html#SchellhornEPBR18}, volume = 158, year = 2018 }