A Formal Semantics for Traffic Sequence Charts

Werner Damm, Eike Möhlmann, Thomas Peikenkamp, Astrid Rakow. A Formal Semantics for Traffic Sequence Charts. In Marten Lohstroh, Patricia Derler, Marjan Sirjani, editors, Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday. Volume 10760 of Lecture Notes in Computer Science, pages 182-205, Springer, 2018. [doi]

@inproceedings{DammMPR18,
  title = {A Formal Semantics for Traffic Sequence Charts},
  author = {Werner Damm and Eike Möhlmann and Thomas Peikenkamp and Astrid Rakow},
  year = {2018},
  doi = {10.1007/978-3-319-95246-8_11},
  url = {https://doi.org/10.1007/978-3-319-95246-8_11},
  researchr = {https://researchr.org/publication/DammMPR18},
  cites = {0},
  citedby = {0},
  pages = {182-205},
  booktitle = {Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday},
  editor = {Marten Lohstroh and Patricia Derler and Marjan Sirjani},
  volume = {10760},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-95246-8},
}