MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 7. Library - 6. Rights Management

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
#YearTitleSignatureSourceRight Status
4
Hide details for InstituteInstitute
1
Hide details for Daum, MatthiasDaum, Matthias
2005Attachment IconIntegration of a Software Model Checker into Isabelle
In: Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, 381-395
1
Hide details for Maus, StefanMaus, Stefan
2005Attachment IconIntegration of a Software Model Checker into Isabelle
In: Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, 381-395
1
Hide details for Schirmer, NorbertSchirmer, Norbert
2005Attachment IconIntegration of a Software Model Checker into Isabelle
In: Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, 381-395
1
Hide details for Seghir, Mohammed NassimSeghir, Mohammed Nassim
2005Attachment IconIntegration of a Software Model Checker into Isabelle
In: Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, 381-395
15
Hide details for InternalInternal
1
Hide details for Beyer, DirkBeyer, Dirk
2007Attachment IconPath Invariants
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 300-309
1
Hide details for Brahm, UweBrahm, Uwe
2006Attachment IconEine integrierte Publikationsverwaltung am Beispiel des Max-Planck-Instituts für Informatik
1
Hide details for Cook, ByronCook, Byron
2007Attachment IconProving Thread Termination
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 320-330
1
Hide details for Henzinger, ThomasHenzinger, Thomas
2007Attachment IconPath Invariants
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 300-309
1
Hide details for Majumdar, RupakMajumdar, Rupak
2007Attachment IconPath Invariants
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 300-309
1
Hide details for Malkis, AlexanderMalkis, Alexander
2006Attachment IconThread-Modular Verification and Cartesian Abstraction
3
Hide details for Podelski, AndreasPodelski, Andreas
2007Attachment IconARMC: The Logical Choice for Software Model Checking with Abstraction Refinement
In: Practical aspects of declarative languages : 9th International Symposium, PADL 2007, 245-259
2007Attachment IconProving Thread Termination
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 320-330
2006Attachment IconThread-Modular Verification and Cartesian Abstraction
4
Hide details for Rybalchenko, AndreyRybalchenko, Andrey
2007Attachment IconARMC: The Logical Choice for Software Model Checking with Abstraction Refinement
In: Practical aspects of declarative languages : 9th International Symposium, PADL 2007, 245-259
2007Attachment IconPath Invariants
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 300-309
2007Attachment IconProving 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)