Server halma.mpi-inf.mpg.de
Entries sorted by: 7. Library - 6. Rights Management
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
# | | | Year | | Title | Signature | Source | Right Status | |
4 |
| Institute |
| |
1 |
|
| |
| | | 2005 | | Integration of a Software Model Checker into Isabelle
In: Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, 381-395 | | | | |
1 |
|
| |
| | | 2005 | | Integration of a Software Model Checker into Isabelle
In: Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, 381-395 | | | | |
1 |
|
| |
| | | 2005 | | Integration of a Software Model Checker into Isabelle
In: Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, 381-395 | | | | |
1 |
|
| |
| | | 2005 | | Integration of a Software Model Checker into Isabelle
In: Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, 381-395 | | | | |
15 |
| |
1 |
|
| Beyer, Dirk |
| |
| | | 2007 | | Path Invariants
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 300-309 | | | | |
1 |
|
| Brahm, Uwe |
| |
| | | 2006 | | Eine integrierte Publikationsverwaltung am Beispiel des Max-Planck-Instituts für Informatik | | | | |
1 |
|
| Cook, Byron |
| |
| | | 2007 | | Proving Thread Termination
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 320-330 | | | | |
1 |
|
| Henzinger, Thomas |
| |
| | | 2007 | | Path Invariants
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 300-309 | | | | |
1 |
|
| Majumdar, Rupak |
| |
| | | 2007 | | Path Invariants
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 300-309 | | | | |
1 |
|
| Malkis, Alexander |
| |
| | | 2006 | | Thread-Modular Verification and Cartesian Abstraction | | | | |
3 |
|
| Podelski, Andreas |
| |
| | | 2007 | | ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement
In: Practical aspects of declarative languages : 9th International Symposium, PADL 2007, 245-259 | | | | |
| | | 2007 | | Proving Thread Termination
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 320-330 | | | | |
| | | 2006 | | Thread-Modular Verification and Cartesian Abstraction | | | | |
4 |
|
| Rybalchenko, Andrey |
| |
| | | 2007 | | ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement
In: Practical aspects of declarative languages : 9th International Symposium, PADL 2007, 245-259 | | | | |
| | | 2007 | | Path Invariants
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 300-309 | | | | |
| | | 2007 | | Proving Thread Termination
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 320-330 | | | | |
Previous Page |
Next Page |
Expand All |
Collapse All |
Search (Full Text)