Validity Checking for Combinations of Theories with Equality

Validity Checking for Combinations of Theories with Equality” by Clark W. Barrett, David L. Dill, and Jeremy R. Levitt. In Proceedings of the 1^st International Conference on Formal Methods In Computer-Aided Design (FMCAD '96), (Mandayam Srivas and Albert Camilleri, eds.), Nov. 1996, pp. 187-201. Palo Alto, California.

BibTeX entry:

@inproceedings{BDL96,
   author = {Clark W. Barrett and David L. Dill and Jeremy R. Levitt},
   editor = {Mandayam Srivas and Albert Camilleri},
   title = {Validity Checking for Combinations of Theories with Equality},
   booktitle = {Proceedings of the {\it 1^{st}} International Conference
	on Formal Methods In Computer-Aided Design (FMCAD '96)},
   series = {Lecture Notes in Computer Science},
   volume = {1166},
   pages = {187--201},
   publisher = {Springer-Verlag},
   month = nov,
   year = {1996},
   note = {Palo Alto, California},
   url = {http://www.cs.nyu.edu/~barrett/pubs/BDL96.pdf}
}

(This webpage was created with bibtex2web.)