W. Müller, G. Lehrenfeld, and C. Tahedl, “Complete Visual Specification and Animations of Protocols,”10.1109/ASPDAC.1995.486383__1995, doi:10.1109/ASPDAC.1995.486383 .
LibreCat: /record/39538
DOI: 10.1109/ASPDAC.1995.486383