A generalization of Shostak's method for combining decision procedures

Clark Barrett, David L. Dill, Aaron Stump

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationProceedings of the 4th international workshop on frontiers of combining systems, April 2002, Santa Margherita Ligure, Italy, (FroCoS '02)
PublisherSpringer Verlag
Pages132-146
StatePublished - 2002

Publication series

NameLecture Notes in Artificial Intelligence
Volume2309

Cite this