Skip to main navigation Skip to search Skip to main content

Compositional metric reasoning with Probabilistic Process Calculi

  • D. Gebler
  • , K. Larsen
  • , S. Tini

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProc. 18th Conference on Foundations of Software Science and Computational Structures - FOSSACS'15
PublisherSpringer
Publication statusPublished - 2015

Cite this