Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2 Publications
2002 | Conference Paper | LibreCat-ID: 39382
W. Müller, R. Dömer, and A. Gerstlauer, “The Formal Execution Semantics of SpecC,” 2002, doi: 10.1145/581199.581234 .
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39487
C. Geiger, G. Lehrenfeld, and W. Müller, “Visual Specification, Modeling, and Illustrations of Complex Systems,” presented at the Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999, Maui, Hawaii, 1999, doi: 10.1109/HICSS.1999.772621.
LibreCat
| DOI