Static Partial Order Reduction for Probabilistic Concurrent Systems

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
In: 2012 Ninth International Conference on Quantitative Evaluation of Systems: QEST'12, Proceedings, 17-20 September 2012, London, United Kingdom, S. 104-113, ISBN: 978-0-7695-4781-7

Ereignis
Veröffentlichung
(wo)
Dresden, Dresden
(wer)
Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, Technische Universität Dresden
(wann)
2013
Urheber
Fernández-Díaz, Álvaro
Baier, Christel
Benac-Earle, Clara
Fredlund, Lars-Åke

URN
urn:nbn:de:bsz:14-qucosa-121261
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:51 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

  • Fernández-Díaz, Álvaro
  • Baier, Christel
  • Benac-Earle, Clara
  • Fredlund, Lars-Åke
  • Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, Technische Universität Dresden

Entstanden

  • 2013

Ähnliche Objekte (12)