Fingerprint
Untersuchen Sie die Forschungsthemen von „Verification of open interactive Markov chains“. Zusammen bilden sie einen einzigartigen Fingerprint.- sortieren
- Gewicht:
- Alphabetisch
Verification of open interactive Markov chains
Tomáš Brázdil, Holger Hermanns, Jan Krčál, Jan Křetínský, Vojtěch Řehák
Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
13
Zitate
(Scopus)