Publications
Server halma.mpi-inf.mpg.de
Publications
Entries sorted by: IMPRS 1st Report
Login to this database
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
 | Author/Editor | Title | Type | ||||
|---|---|---|---|---|---|---|---|
| |||||||
| | ||||||
| |||||||
| [1] | I. Grenner | Die Erzeugung von Schnittebenen mit maximalem Verletzungsgrad und deren Einsatz im Branch-and-Cut Verfahren Universität des Saarlandes | Thesis - Master's thesis | | ||
| [2] | A. Rybalchenko | A Model Checker based on Abstraction Refinement Universität des Saarlandes | Thesis - Master's thesis | | |||
| | ||||||
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)