Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

eingeschränkt auf
- Standorte:	Frankfurt

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

Ergebnis der Suche nach: tit all "Advances in Probabilistic Model Checking."
im Bestand: Gesamter Bestand

1 - 4 von 4

	1	Probabilistic Model Checking for Strategic Equilibria-Based Decision Making: Advances and Challenges (Invited Talk) Kwiatkowska, Marta Z.. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
	2	Advances in probabilistic model checking with PRISM Klein, Joachim. - Dresden : Technische Universität Dresden, 2021
	3	Advances in Symbolic Probabilistic Model Checking with PRISM Klein, Joachim. - Dresden : Technische Universität Dresden, 2021
	4	Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata Enthalten in International journal on software tools for technology transfer 6.5.2017: 1-16

1 - 4 von 4

Alle Materialarten

Alle Standorte > Frankfurt (4)

Aktionen