@inproceedingsbirthday/dammmpr18, Author = {Werner Damm and Eike Möhlmann and Thomas Peikenkamp and Astrid Rakow}, Title = {A Formal Semantics for Traffic Sequence Charts}, Year = {2018}, Pages = {182-205}, Publisher = {Springer}, Series = {Lecture Notes in Computer Science}, Booktitle = {Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday}, Doi = {10.1007/978-3-319-95246-8_11}, Url = {https://doi.org/10.1007/978-3-319-95246-8_11}, type = {inproceedings} @COMMENTBibtex file generated on