In: Microprocessors and Microsystems
In: Formal Modeling and Verification of Cyber-Physical Systems. 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 (Advanced lectures by leading scientists on cyber-physical systems modeling and verification)
In: Informatik 2015 - Informatik, Energie und Umwelt (28.09.-02.10.2015; Cottbus). null (GI-Edition : Proceedings)
Use the Degg's entrance at Veilchengasse 15-19 near the bike park. Walk two floors upstairs and go through the non-glass door which will be open during office hours. Proceed to the room 2.16.