Showing 1 - 8 results of 8 for search 'Hermanns, Holger', query time: 0.03s Refine Results
  1. 1
    Interactive Markov Chains The Quest for Quantified Quality /
    by Hermanns, Holger, Hermanns, Holger
    Published 2002
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
    Published 2020
    Other Authors: “…Hermanns, Holger…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  3. 3
    Process Algebra and Probabilistic Methods: Performance Modeling and Verification Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings /
    Published 2002
    Other Authors: “…Hermanns, Holger…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings /
    Published 2006
    Other Authors: “…Hermanns, Holger…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    CONCUR 2006 – Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings /
    Published 2006
    Other Authors: “…Hermanns, Holger…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings /
    Published 2007
    Other Authors: “…Hermanns, Holger…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Lectures on Formal Methods and Performance Analysis First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures /
    Published 2001
    Other Authors: “…Hermanns, Holger…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Validation of Stochastic Systems A Guide to Current Research /
    Published 2004
    Other Authors: “…Hermanns, Holger…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search