Counterexample guided abstraction refinement for stability analysis
- Prabhakar, P.
- Soto, M.G.
ISSN: 1611-3349, 0302-9743
ISBN: 9783319415277
Année de publication: 2016
Volumen: 9779
Pages: 495-512
Type: Communication dans un congrès
Collection de livres:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)