Andreas Prinz, Robert Eschbach, Reinhard Gotzhein. A Executable Formal Semantics for SDL-2000. In Edel Sherratt, editor, SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000. pages 249-261, VERIMAG, IRISA, SDL Forum, 2000.
@inproceedings{PrinzEG00,
title = {A Executable Formal Semantics for SDL-2000},
author = {Andreas Prinz and Robert Eschbach and Reinhard Gotzhein},
year = {2000},
tags = {semantics, formal semantics},
researchr = {https://researchr.org/publication/PrinzEG00},
cites = {0},
citedby = {0},
pages = {249-261},
booktitle = {SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000},
editor = {Edel Sherratt},
publisher = {VERIMAG, IRISA, SDL Forum},
}