%0 Journal Article %1 journals/tcs/ThatiM06 %A Thati, Prasanna %A Meseguer, José %D 2006 %J Theor. Comput. Sci. %K dblp %N 1-2 %P 163-179 %T Complete symbolic reachability analysis using back-and-forth narrowing. %U http://dblp.uni-trier.de/db/journals/tcs/tcs366.html#ThatiM06 %V 366

@article{journals/tcs/ThatiM06, added-at = {2023-09-20T00:00:00.000+0200}, author = {Thati, Prasanna and Meseguer, José}, biburl = {https://www.bibsonomy.org/bibtex/2cd963745f054e10d404645b7823c1e6b/dblp}, ee = {https://doi.org/10.1016/j.tcs.2006.07.008}, interhash = {a394098b2a31e86a8d01614a2c721f3a}, intrahash = {cd963745f054e10d404645b7823c1e6b}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = {1-2}, pages = {163-179}, timestamp = {2024-04-08T18:36:43.000+0200}, title = {Complete symbolic reachability analysis using back-and-forth narrowing.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs366.html#ThatiM06}, volume = 366, year = 2006 }