BibTeX record conf/procomet/DammH94

• > Home > conf/procomet/DammH94

@inproceedings{DBLP:conf/procomet/DammH94,
  author       = {Werner Damm and
                  Johannes Helbig},
  editor       = {Ernst{-}R{\"{u}}diger Olderog},
  title        = {Linking Visual Formalisms: {A} Compositional Proof System for Statecharts
                  Based on Symbolic Timing Diagrams},
  booktitle    = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
                  {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
                  Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
                  1994},
  series       = {{IFIP} Transactions},
  volume       = {{A-56}},
  pages        = {341--359},
  publisher    = {North-Holland},
  year         = {1994},
  timestamp    = {Tue, 22 Sep 2009 20:45:18 +0200},
  biburl       = {https://dblp.org/rec/conf/procomet/DammH94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}