%0 Conference Paper %1 conf/icse/ChanABJNW99 %A Chan, William %A Anderson, Richard J. %A Beame, Paul %A Jones, David H. %A Notkin, David %A Warner, William E. %B ICSE %D 1999 %E Boehm, Barry W. %E Garlan, David %E Kramer, Jeff %I ACM %K dblp %P 142-151 %T Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts. %U http://dblp.uni-trier.de/db/conf/icse/icse99.html#ChanABJNW99 %@ 1-58113-074-0

@inproceedings{conf/icse/ChanABJNW99, added-at = {2018-11-06T00:00:00.000+0100}, 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/26cff3e5ea83b5c10604779b078682592/dblp}, booktitle = {ICSE}, crossref = {conf/icse/1999}, editor = {Boehm, Barry W. and Garlan, David and Kramer, Jeff}, ee = {https://doi.org/10.1145/302405.302460}, interhash = {3ae7376eec4b6be2ef4409a1b82a8f6c}, intrahash = {6cff3e5ea83b5c10604779b078682592}, isbn = {1-58113-074-0}, keywords = {dblp}, pages = {142-151}, publisher = {ACM}, timestamp = {2018-11-07T16:34:03.000+0100}, title = {Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse99.html#ChanABJNW99}, year = 1999 }