Fingerprint
Untersuchen Sie die Forschungsthemen von „Refinement checking on parametric modal transition systems“. Zusammen bilden sie einen einzigartigen Fingerprint.- sortieren
- Gewicht:
- Alphabetisch
Nikola Beneš, Jan Křetínský, Kim G. Larsen, Mikael H. Møller, Salomon Sickert, Jiří Srba
Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung