Peschke S, Haeb-Umbach R. Velocity Estimation of Mobile Terminals by Exploiting GSM Downlink Signalling. In: 4th Workshop on Positioning Navigation and Communication (WPNC 2007). ; 2007:217-222. doi:10.1109/WPNC.2007.353637
LibreCat: /record/11883
DOI: 10.1109/WPNC.2007.353637

Flake S, Geiger C, Müller W, Ruf J. Customer-Oriented Systems Design through Virtual Prototyps. In: Proceedings of IEEE KMN 2001. ; 2001. doi:10.1109/ENABL.2001.953425
LibreCat: /record/39411
DOI: 10.1109/ENABL.2001.953425

Geiger C, Lehrenfeld G, Müller W. Visual Specification, Modeling, and Illustrations of Complex Systems. In: Proceedings of HICSS-32. ; 1999. doi:10.1109/HICSS.1999.772621
LibreCat: /record/39487
DOI: 10.1109/HICSS.1999.772621

Börger E, Glässer U, Müller W. A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines. In: Delgado Kloos C, Breuer PT, eds. Semantics of VHDL. Kluwer Academic Publishers; 1995:107-139. doi:10.1007/978-1-4615-2237-9_5
LibreCat: /record/34448
DOI: 10.1007/978-1-4615-2237-9_5