Vom 20.12.2025 bis 11.01.2026 ist die Universitätsbibliothek geschlossen. Ab dem 12.01.2026 gelten wieder die regulären Öffnungszeiten. Ausnahme: Medizinische Hauptbibliothek und Zentralbibliothek sind bereits ab 05.01.2026 wieder geöffnet. Weitere Informationen
  • Control-Flow Refinement for Co...
  • Inhaltsangabe

Treffer: Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT (Short Paper)

Titel:
Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT (Short Paper) / Nils Lommen, Éléanore Meyer, Jürgen Giesl
Verantwortlich:
Lommen, Nils (Verfasser); Meyer, Éléanore (Verfasser); Giesl, Jürgen (Verfasser)
Veröffent­licht:
Aachen : Universitätsbibliothek der RWTH Aachen, 2024
Umfang:
1 Online-Ressource
Publikationstyp:
E-Book
Sprache:
Englisch
Anmerkungen:
In: 10.1007/978-3-031-63498-7_14
DOI:
10.18154/RWTH-2024-08713

Zusatz-Informationen

Zusatz-Funktionen