@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@COMMENT This file came from Sanjit Seshia's publication pages at http://www.eecs.berkeley.edu/~sseshia
@InProceedings{bryant-charme03,
 author = "Randal E. Bryant and Shuvendu K. Lahiri and Sanjit A. Seshia",
 title = "Convergence Testing in Term-Level Bounded Model Checking",
 booktitle = "{Correct Hardware Design and Verification Methods (CHARME)}",
 month = "October", 
 publisher = "Springer-Verlag",
 series    = "Lecture Notes in Computer Science",
 volume  = "2860",
 pages = "348--362",
 year = "2003",
}