Search Results - Hermanns, Holger

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Interactive Markov chains and the quest for quantified quality

    Interactive Markov chains and the quest for quantified quality by Hermanns, Holger 1967-

    Published 2002
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  2. 2
    Lectures on formal methods and performance analysis revised lectures/first EEF summer school on trends in computer science, July 3 - 7, 2000

    Lectures on formal methods and performance analysis revised lectures/first EEF summer school on trends in computer science, July 3 - 7, 2000

    Published 2001
    Other Authors:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: