Skip to main navigation Skip to search Skip to main content

On Generative Parallel Composition

  • H. Hermanns (Keynote speaker)

    Activity: Talk or presentation › Oral presentation

    Period20 Jun 1998
    Event title1st International Workshop on Probabilistic Methods in Verification, PROBMIV 1998
    Event typeWorkshop
    Conference number1
    LocationIndianapolis, United States, IndianaShow on map
    Degree of RecognitionInternational

    Keywords

    • METIS-121448