%0 Journal Article %1 journals/tcs/CookKS07 %A Cook, Byron %A Kroening, Daniel %A Sharygina, Natasha %D 2007 %J Theor. Comput. Sci. %K dblp %N 1-3 %P 227-242 %T Verification of Boolean programs with unbounded thread creation. %U http://dblp.uni-trier.de/db/journals/tcs/tcs388.html#CookKS07 %V 388

@article{journals/tcs/CookKS07, added-at = {2022-12-07T00:00:00.000+0100}, author = {Cook, Byron and Kroening, Daniel and Sharygina, Natasha}, biburl = {https://www.bibsonomy.org/bibtex/2e5c39586c1c8d5f25d021b98dc4f0ae3/dblp}, ee = {https://doi.org/10.1016/j.tcs.2007.07.050}, interhash = {77e0361299b67a371f8a2a92909483ea}, intrahash = {e5c39586c1c8d5f25d021b98dc4f0ae3}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = {1-3}, pages = {227-242}, timestamp = {2024-04-08T18:46:44.000+0200}, title = {Verification of Boolean programs with unbounded thread creation.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs388.html#CookKS07}, volume = 388, year = 2007 }