Beeck00'

BibTeX

@inproceedings{DBLP:conf/forte/Beeck00,
  author    = {Michael von der Beeck},
  title     = {A Concise Compositionalj Statecharts Semantics Definition},
  booktitle = {FORTE},
  year      = {2000},
  pages     = {335-350},
  crossref  = {DBLP:conf/forte/2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/forte/2000,
  editor    = {Tommaso Bolognesi and
               Diego Latella},
  title     = {Formal Techniques for Distributed System Development, FORTE/PSTV
               2000, IFIP TC6 WG6.1 Joint International Conference on Formal
               Description Techniques for Distributed Systems and Communication
               Protocols (FORTE XIII) and Protocol Specification, Testing
               and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy},
  booktitle = {FORTE},
  publisher = {Kluwer},
  series    = {IFIP Conference Proceedings},
  volume    = {183},
  year      = {2000},
  isbn      = {0-7923-7968-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}