dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Sriram K. Rajamani (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Andreas Podelski, Sriram K. Rajamani: Boolean and Cartesian abstraction for model checking C programs. STTT 5(1): 49-58 (2003)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Andreas Podelski, Sriram K. Rajamani: Relative Completeness of Abstraction Refinement for Software Model Checking. TACAS 2002: 158-172
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Andreas Podelski, Sriram K. Rajamani: Boolean and Cartesian Abstraction for Model Checking C Programs. TACAS 2001: 268-283

Selection of 3 from 92 records - Sriram K. Rajamani has 97 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page