@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@COMMENT This file came from Sanjit Seshia's publication pages at http://www.eecs.berkeley.edu/~sseshia
@inproceedings{FQS02,
author = {Cormac Flanagan and
Shaz Qadeer and
Sanjit A. Seshia},
title = {A Modular Checker for Multithreaded Programs},
booktitle = CAV02,
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2404},
year = {2002},
month = {July},
pages = {180-194},
}