DBLP Record 'conf/icse/ChanABJNW99'

BibTeX

@inproceedings{DBLP:conf/icse/ChanABJNW99,
  author    = {William Chan and
               Richard J. Anderson and
               Paul Beame and
               David H. Jones and
               David Notkin and
               William E. Warner},
  title     = {Decoupling Synchronization from Local Control for Efficient
               Symbolic Model Checking of Statecharts},
  booktitle = {ICSE},
  year      = {1999},
  pages     = {142-151},
  ee        = {http://portal.acm.org/citation.cfm?id=302405.302460},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}