Integrated Formal Methods

First Page		Document Content
Date: 2017-09-10 19:06:48 Culture in Berlin Education in Berlin Institute for Media and Communication Policy Bernhard Steffen Stochastic process States of Germany Germany		Integrated Formal Methods Add to Reading List Source URL: link.springer.com Download Document from Source Website File Size: 180,39 KB Share Document on Facebook

	Prof. Bernhard Steffen TU Dortmund BIO Bernhard Steffen graduated in Mathematicsand obtained a PhD in Computer Sciencefrom the Christian-Albrechts Universität Kiel (D), then he was Research Fellow at the DocID: 1xUq3 - View Document
	Prof. Dr. Bernhard Steffen Dipl.Inf. Malte Isberner – Dr. Oliver Rüthing – Dipl.Inf. Melanie Schmidt – Dr. Hubert Wagner Übungen zur Vorlesung DocID: 1m6lC - View Document
	Prof. Dr. Bernhard Steffen Dipl.Inf. Malte Isberner – Dr. Oliver Rüthing – Dipl.Inf. Melanie Schmidt – Dr. Hubert Wagner Weihnachtsaufgabe DocID: 1m3wC - View Document
	Prof. Dr. Bernhard Steffen Dipl.Inf. Malte Isberner – Dr. Oliver Rüthing – Dipl.Inf. Melanie Schmidt – Dr. Hubert Wagner Übungen zur Vorlesung DocID: 1m3tB - View Document
	Prof. Dr. Bernhard Steffen Dipl.Inf. Malte Isberner – Dr. Oliver Rüthing – Dipl.Inf. Melanie Schmidt – Dr. Hubert Wagner Übungen zur Vorlesung DocID: 1lZdJ - View Document