Abstraction Refinement Algorithms for Timed Automata
Domaines
Informatique et langage [cs.CL]
Fichier principal
Roussanaly2019_Chapter_AbstractionRefinementAlgorithm.pdf (1.14 Mo)
Télécharger le fichier
Origine | Publication financée par une institution |
---|