Reachability analysis of synchronized PA systems

Ahmed Bouajjani, Javier Esparza, Tayssir Touili

Publikation: Beitrag in FachzeitschriftKonferenzartikelBegutachtung

7 Zitate (Scopus)

Fingerprint

Untersuchen Sie die Forschungsthemen von „Reachability analysis of synchronized PA systems“. Zusammen bilden sie einen einzigartigen Fingerprint.

Keyphrases

Computer Science