%0 Journal Article %1 journals/tse/ChanABJNW01 %A Chan, William %A Anderson, Richard J. %A Beame, Paul %A Jones, David H. %A Notkin, David %A Warner, William E. %D 2001 %J IEEE Trans. Software Eng. %K dblp %N 2 %P 170-190 %T Optimizing Symbolic Model Checking for Statecharts. %U http://dblp.uni-trier.de/db/journals/tse/tse27.html#ChanABJNW01 %V 27

@article{journals/tse/ChanABJNW01, added-at = {2018-08-16T00:00:00.000+0200}, author = {Chan, William and Anderson, Richard J. and Beame, Paul and Jones, David H. and Notkin, David and Warner, William E.}, biburl = {https://www.bibsonomy.org/bibtex/2e868ea1770576567c0a49eae68a6fd02/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/32.908961}, interhash = {177f75695e5514050d5a05202d4d1ca3}, intrahash = {e868ea1770576567c0a49eae68a6fd02}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 2, pages = {170-190}, timestamp = {2018-08-17T11:53:10.000+0200}, title = {Optimizing Symbolic Model Checking for Statecharts.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse27.html#ChanABJNW01}, volume = 27, year = 2001 }