Stephan Mennicke und Braunschweig - Info zur Person

(1 - 10 von 10

)

D-CON Gesellschaft für Informatik e.V.

gi.de

Ausgerichtet wird die Veranstaltung vom Institut für Programmierung und Reaktive Systeme der TU Braunschweig durch Ursula Goltz und Stephan Mennicke.

EXPRESS/SOS : Combined 24th International Workshop on ...www.wikicfp.com/cfp/servlet/event.showcfp?eventid=

www.wikicfp.com

Stephan Mennicke (TU Braunschweig, Germany) Kirstin Peters (TU Berlin, Germany) Johannes Åman Pohjola (Chalmers University of Technology, Sweden )

LinkedIn: Stephan Mennicke - Research Assistant - TU Braunschweig | LinkedIn

Sehen Sie sich das Profil von Stephan Mennicke auf LinkedIn an, dem weltweit größten beruflichen Netzwerk. 4 Jobs sind im Profil von Stephan Mennicke ...

LinkedIn: Stephan Mennicke - Research Assistant - TU Braunschweig | LinkedIn

I am looking into net related models and their aspects concerning distributed systems and their interaction. I am generally interested in formal methods and their ...

LinkedIn: Stephan Mennicke - Research Assistant - TU Braunschweig | 领英

上领英，在全球领先职业社交平台查看Stephan Mennicke的职业档案。Stephan的职业档案列出了4 个职位。查看Stephan的完整档案，结识职场人脉和查看相似公司 ...

Stephan Mennicke | IfIS: Institute for Information Systems at...

www.ifis.cs.tu-bs.de

Stephan Mennicke, M.Sc. Technische Universität Braunschweig Institut für Informationssysteme , 2.OG D Braunschweig ...

[ ] Keep it Fair: Equivalences

arxiv.org

Authors:Tobias Prehn (TU Berlin, Germany), Stephan Mennicke (TU Braunschweig, Germany). (Submitted on 30 Nov 2017). Abstract: For models of concurrent ...