DBLP Record 'conf/hase/GnesiLM99'

BibTeX

@inproceedings{DBLP:conf/hase/GnesiLM99,
  author    = {Stefania Gnesi and
               Diego Latella and
               Mieke Massink},
  title     = {Model Checking UML Statechart Diagrams Using JACK},
  booktitle = {HASE},
  year      = {1999},
  pages     = {46-55},
  ee        = {http://computer.org/proceedings/hase/0418/04180046abs.htm},
  crossref  = {DBLP:conf/hase/1999},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/hase/1999,
  title     = {4th IEEE International Symposium on High-Assurance Systems
               Engineering (HASE '99), 17-19 November 1999, Washington,
               D.C, USA, Proceedings},
  booktitle = {HASE},
  publisher = {IEEE Computer Society},
  year      = {1999},
  isbn      = {0-7695-0418-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}