Don’t care words with an application to the automata-based approach for real addition
- Journal Article
Journal / seriesFormal methods in system design
Pages / Article No.
SubjectDecision procedure; Mixed linear arithmetic over the integers and reals; Automata theory; Verification of infinite-state systems
Organisational unit03634 - Basin, David
NotesPublished online 3 October 2008.
MoreShow all metadata