Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

  • Nils Jansen (Editor)
  • , Sebastian Junges (Editor)
  • , Benjamin Lucien Kaminski (Editor)
  • , Christoph Matheja (Editor)
  • , Thomas Noll (Editor)
  • , Tim Quatmann (Editor)
  • , Mariëlle Stoelinga (Editor)
  • , Matthias Volk (Editor)

Research output: Book/ReportBook editingAcademic

Original languageEnglish
Place of PublicationCham
PublisherSpringer
ISBN (Electronic)978-3-031-75778-5
ISBN (Print)978-3-031-75777-8
DOIs
Publication statusPublished - 17 Nov 2024

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume15262
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Keywords

  • n/a OA procedure

Cite this