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.
3 Publications
2010 | Conference Paper | LibreCat-ID: 37009
@inproceedings{Oliveira_Zabel_Müller_2010, place={Dresden}, title={Assertion-Based Verification of RTOS Properties}, DOI={10.1109/DATE.2010.5457130}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Oliveira, Marcio F. S. and Zabel, Henning and Müller, Wolfgang}, year={2010} }
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39382
@inproceedings{Müller_Dömer_Gerstlauer_2002, place={Nagoya, Japan}, title={The Formal Execution Semantics of SpecC}, DOI={10.1145/581199.581234 }, booktitle={Proceedings of the ISSS02}, author={Müller, Wolfgang and Dömer, Rainer and Gerstlauer, Andreas}, year={2002} }
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39488
@inproceedings{Dücker_Müller_Rubart_1999, place={Maui, HI, USA }, title={Innovative Concepts for Configurating Shared Workspaces through Visual Programming}, DOI={10.1109/HICSS.1999.773046}, booktitle={ Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences}, author={Dücker, M. and Müller, Wolfgang and Rubart, Jessica}, year={1999} }
LibreCat
| DOI