DBLP Record 'conf/gi/Klose99'

BibTeX

@inproceedings{DBLP:conf/gi/Klose99,
  author    = {Jochen Klose},
  title     = {Erweiterte Message Sequence Charts f{\"u}r die Verifikation
               von Statemate-Entw{\"u}rfen},
  booktitle = {GI Jahrestagung},
  year      = {1999},
  pages     = {181-189},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}