Marius Scholten - Wissenschaftliche Veröffentlichungen

(1 - 10 von 11

)

Verifikation von Programmen (SS 2003)

verify.rwth-aachen.de

Zeit Thema Referent Betreuer; 10:15-11:15: Knuth Bendix Ordnung: Marius Scholten: René Thiemann: 11:30-12:30: Dependency Pairs: Alexander Achterfeld: Jürgen Giesl

dblp: Marius Scholten

dblp.uni-trier.de

List of computer science publications by Marius Scholten

Search results for "Marius Scholten" – FacetedDBLP

dblp.l3s.uni-hannover.de

Publications of "Marius Scholten" ( http://dblp.L3S.de/Authors/Marius_Scholten ) Author page on DBLP Author page in RDF Community of Marius Scholten in ASPL-2.

dblp: European Conference on Technology Enhanced Learning LODE

dblp.uni-trier.de

Bibliographic content of European Conference on Technology Enhanced Learning LODE

Marius Scholten - dblp

dblp.org

› Persons

Search results for "Martin Wolpers" – FacetedDBLP

dblp.l3s.uni-hannover.de

Christian Prause, Stefaan Ternier, Tim de Jong, Stefan Apelt, Marius Scholten, Martin Wolpers, Markus Eisenhauer, Bram Vandeputte, Marcus Specht, Erik Duval: