Automated compositional Markov chain generation for a plain-old telephone system

Katoen, J. P. (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Invited Plaats van uitgifte: CWI Amsterdam
    Period9 Jun 1999
    Event titleVoordracht Process Algebra Meeting
    Event typeConference
    LocationCWI Amsterdam

    Keywords

    • METIS-121439