Projekt:
Zeige:
Zeige 1 bis 10 von 17 Ergebnissen
Zeige 1 bis 10 von 17 Ergebnissen
Graf Jürgen, Hecker Martin, Mohr Martin, Nordhoff Benedikt (2013) Sonstige wissenschaftliche Veröffentlichung | Veröffentlicht | |
Flexeder Andrea, Müller-Olm Markus, Petter Michael, Seidl Helmut (2011) In: ACM Transactions on Programming Languages and Systems, 33(6). Forschungsartikel (Zeitschrift) | Peer reviewed | Veröffentlicht | |
Schwarz Martin D., Seidl Helmut, Vojdani Vesal, Lammich Peter, Müller-Olm Markus (2011) In: Ball Thomas, Sagiv Mooly (Hrsg.), Conference Record of the 38th Annual ACM Symposium on Principles of Programming Languages, 93-104. . Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht | |
Gawlitza Thomas, Lammich Peter, Müller-Olm Markus, Seidl Helmut, Wenner Alexander (2011) In: Jhala Ranjit, Schmidt David (Hrsg.), Verification, Model Checking and Abstract Interpretation, 199-213. Berlin, Heidelberg, New York: . Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht | |
Lammich Peter, Müller-Olm Markus, Wenner Alexander (2009) In: Bouajjani Ahmed, Maler Oded (Hrsg.), Computer Aided Verification, 525-539. . Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht | |
Lammich Peter, Müller-Olm Markus (2008) In: Alpuente María, Vidal Germán (Hrsg.), , -. | Peer reviewed | |
In: (Hrsg.), , -. | Peer reviewed | |
In: (Hrsg.), , -. | Peer reviewed | |
In: . | Peer reviewed | |