Person:
Zeige 1 bis 7 von 7 Ergebnissen
Gutsfeld Jens, Müller-Olm Markus, Nordhoff Benedikt (2018) In: Gallardo María-del-Mar, Merino Pedro (Hrsg.), Model Checking Software - 25th International Symposium, SPIN 2018.. Art der Publikation: Forschungsartikel in Sammelband (Konferenz) | |
Arzt Steven, Bartel Alexandre, Gay Richard, Lortz Steffen, Lovat Enrico, Mantel Heiko, Mohr Martin, Nordhoff Benedikt, Perner Matthias, Rasthofer Siegfried, Schneider David, Snelting Gregor, Starostin Artem, Weber Alexandra (2015) In: 36th IEEE Symposium on Security and Privacy, San Jose, CA, USA, . Art der Publikation: Abstract in Online-Sammlung (Konferenz) | |
Nordhoff Benedikt, Müller-Olm Markus, Lammich Peter (2013) In: Banerjee A, Danvy O, Doh K, Hatcliff J (Hrsg.), Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday. Manhattan, Kansas, USA: . Art der Publikation: Forschungsartikel (Buchbeitrag) | |
Graf Jürgen, Hecker Martin, Mohr Martin, Nordhoff Benedikt (2013) Art der Publikation: Sonstige wissenschaftliche Veröffentlichung | |
Nordhoff Benedikt (2012) In: School for young researchers about Modelling and Verifying Parallel processes, Marseille, Frankreich, . Art der Publikation: Abstract in Online-Sammlung (Konferenz) | |
Nordhoff Benedikt, Lammich Peter (2012) Art der Publikation: Sonstige wissenschaftliche Veröffentlichung | |
Nordhoff Benedikt, Körner Stefan, Lammich Peter (2010) Art der Publikation: Sonstige wissenschaftliche Veröffentlichung |