You are here

An Incremental Technique for Automata-Based Decision Procedures.

TitleAn Incremental Technique for Automata-Based Decision Procedures.
Publication TypeConference Paper
Year of Publication2007
AuthorsÜnel, G., and D. Toman
Conference NameCADE
DOI10.1007/978-3-540-73595-3_8