%0 Journal Article %1 journals/tcs/KestenMMPS01 %A Kesten, Yonit %A Maler, Oded %A Marcus, Monica %A Pnueli, Amir %A Shahar, Elad %D 2001 %J Theor. Comput. Sci. %K dblp %N 1-2 %P 93-112 %T Symbolic model checking with rich assertional languages. %U http://dblp.uni-trier.de/db/journals/tcs/tcs256.html#KestenMMPS01 %V 256

@article{journals/tcs/KestenMMPS01, added-at = {2021-02-17T00:00:00.000+0100}, author = {Kesten, Yonit and Maler, Oded and Marcus, Monica and Pnueli, Amir and Shahar, Elad}, biburl = {https://www.bibsonomy.org/bibtex/24f55f1e3f013bb81416a20e1a9d7013a/dblp}, ee = {https://doi.org/10.1016/S0304-3975(00)00103-1}, interhash = {0f47750e571ab06ee294a8797d38d40e}, intrahash = {4f55f1e3f013bb81416a20e1a9d7013a}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = {1-2}, pages = {93-112}, timestamp = {2024-04-08T18:41:40.000+0200}, title = {Symbolic model checking with rich assertional languages.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs256.html#KestenMMPS01}, volume = 256, year = 2001 }