Server halma.mpi-inf.mpg.de
Entries sorted by: 1. Author,Editor - 1. by Individual - 2. A..Z Index
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 | Author(s) [non member] | Editor(s) [non member] | | Title | Type | |
1 |
| Radermacher, F. J. |
| |
1 |
| |
3 |
| Rajamani, Sriram K. |
| |
| | 2003 | Podelski, Andreas
[Ball, Tom]
[Rajamani, Sriram K.] | | | Boolean and Cartesian Abstraction for Model Checking C Programs
In: International Journal on Software Tools for Technology Transfer (STTT) [5], 1-15 | Journal Article | |
| | 2002 | Podelski, Andreas
[Ball, Tom]
[Rajamani, Sriram K.] | [Kaoen, Joost-Pieter]
[Stevens, Perdita] | | Relative Completeness of Abstraction Refinement for Software Model Checking
In: Tools and algorithms for the construction and analysis of systems : 8th International Conference, TACAS 2002, 158-172 | Proceedings Article | |
| | 2001 | [Ball, Thomas]
Podelski, Andreas
[Rajamani, Sriram K.] | Margaria, Tiziana
Yi, Wang | | Boolean and Cartesian Abstraction for Model Checking C Programs
In: Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-2001), 268-283 | Proceedings Article | |
1 |
| Rajan, Kanna (ed.) |
| |
1 |
| |
1 |
| Ramani, S. (ed.) |
| |
1 |
| |
1 |
| Raman, V. (ed.) |
| |
1 |
| |
1 |
| Raskin, J.-F. (ed.) |
| |
1 |
| |
12 |
| Ratschan, Stefan |
| |
1 |
| |
2 |
| Rau, Rainer |
| |
1 |
| |
1 |
| Reinold, Michael |
| |
1 |
| |
1 |
| Remenyi, Dan (ed.) |
| |
1 |
| |
1 |
| Rewitzky, I. M. |
| |
1 |
| |
1 |
| Richter, M.M. (ed.) |
| |
1 |
| |
1 |
| Rinaldi, Giovanni |
| |
1 |
| |
1 |
| Ringeissen, C. (ed.) |
| |
5 |
| |
Previous Page |
Next Page |
Expand All |
Collapse All |
Search (Full Text)