%0 Journal Article %1 journals/logcom/BalserDRS02 %A Balser, Michael %A Duelli, Christoph %A Reif, Wolfgang %A Schellhorn, Gerhard %D 2002 %J J. Log. Comput. %K %N 4 %P 549-560 %T Verifying Concurrent Systems with Symbolic Execution. %U http://dblp.uni-trier.de/db/journals/logcom/logcom12.html#BalserDRS02 %V 12

@article{journals/logcom/BalserDRS02, added-at = {2023-12-12T23:32:38.000+0100}, author = {Balser, Michael and Duelli, Christoph and Reif, Wolfgang and Schellhorn, Gerhard}, biburl = {https://www.bibsonomy.org/bibtex/25c505ac8b812e00047750264c46e10d4/admin}, ee = {https://doi.org/10.1093/logcom/12.4.549}, interhash = {57151a951f4fc49369e5571b1bcba61e}, intrahash = {5c505ac8b812e00047750264c46e10d4}, journal = {J. Log. Comput.}, keywords = {}, number = 4, pages = {549-560}, timestamp = {2023-12-12T23:32:38.000+0100}, title = {Verifying Concurrent Systems with Symbolic Execution.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom12.html#BalserDRS02}, volume = 12, year = 2002 }