Refinement checking on parametric modal transition systems

Nikola Beneš, Jan Křetínský, Kim G. Larsen, Mikael H. Møller, Salomon Sickert, Jiří Srba

Publikation: Beitrag in FachzeitschriftArtikelBegutachtung

5 Zitate (Scopus)

Fingerprint

Untersuchen Sie die Forschungsthemen von „Refinement checking on parametric modal transition systems“. Zusammen bilden sie einen einzigartigen Fingerprint.

Keyphrases

Computer Science