Implicit Real Vector Automata

TitleImplicit Real Vector Automata
Publication TypeConference Paper
Year of Publication2010
AuthorsBoigelot, B, Brusten J, Degbomont J-F
Conference NameProceedings 12th International Workshop on Verification of Infinite-State Systems, {INFINITY} 2010, Singapore, Singapore, 21st September 2010.
DOI10.4204/EPTCS.39.5