%0 Conference Paper %1 chan_98_improving %A Chan, William %A Anderson, Richard J. %A Beame, Paul %A Notkin, David %B ISSTA '98: Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis %C New York, NY, USA %D 1998 %I ACM Press %K 1998 statecharts model_checking requirements %N 2 %P 102--112 %R 10.1145/271771.271798 %T Improving efficiency of symbolic model checking for state-based system requirements %U http://dx.doi.org/10.1145/271771.271798 %V 23 %@ 0897919718

@inproceedings{chan_98_improving, added-at = {2009-02-11T22:23:49.000+0100}, address = {New York, NY, USA}, author = {Chan, William and Anderson, Richard J. and Beame, Paul and Notkin, David}, biburl = {https://www.bibsonomy.org/bibtex/29481b61f4ab0ddf3c0c4c5b29d1c9825/leonardo}, booktitle = {ISSTA '98: Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis}, citeulike-article-id = {573578}, doi = {10.1145/271771.271798}, interhash = {a9083610da4ad12ea02d5b075e41193c}, intrahash = {9481b61f4ab0ddf3c0c4c5b29d1c9825}, isbn = {0897919718}, keywords = {1998 statecharts model_checking requirements}, month = {March}, number = 2, pages = {102--112}, posted-at = {2006-04-03 03:02:12}, priority = {2}, publisher = {ACM Press}, timestamp = {2009-02-11T22:23:49.000+0100}, title = {Improving efficiency of symbolic model checking for state-based system requirements}, url = {http://dx.doi.org/10.1145/271771.271798}, volume = 23, year = 1998 }