A Formal Semantics for Traffic Sequence Charts

BIB
Werner Damm and Eike Möhlmann and Thomas Peikenkamp and Astrid Rakow
Festschrift in honor of Edmund A. Lee
October / 2017
inproceedings