On Generative Parallel Composition

H. Hermanns (Keynote speaker)

    Activity: Talk or presentationOral presentation

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

    Keywords

    • METIS-121448