Advanced SPIN Tutorial

T.C. Ruys (Speaker), G.J. Holzmann (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Pisa, Italy
    Period8 Sep 2003
    Event title12th International Symposium of Formal Methods
    Event typeConference
    Conference number12
    LocationPisa, Italy

    Keywords

    • METIS-215927