Publicações

Abstraction Based Model-Checking of Stability of Hybrid Systems

AuthID
P-00T-P1K

Author(s)

Prabhakar, P

Garcia Soto, M

Document Type

Proceedings Paper

Year published

2013

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 8044 LNCS, Pages: 280-295

Conference

25Th International Conference on Computer Aided Verification, Cav 2013, Date: 13 July 2013 through 19 July 2013, Location: Saint Petersburg, Sponsors: University of Lugano;Vienna University of Technology;St. Petersburg State Polytechnical University;Russian Academy of Science;St. Petersburg Dep. of the Steklov Institute for Mathematics

Indexing