Quantitative Specification and Verificaion of Distributed Systems

  • H. Hermanns (Speaker)

    Activity: Talk or presentation › Oral presentation

    Description

    Plaats van uitgifte: TU Munich, Germany
    Period20 Nov 2004
    Held atTechnische Universitat Munchen, Germany

    Keywords

    • METIS-222562