Analysing Industrial Protocols with Formal Methods

J.M.T. Romijn, Judi Maria Tirza Romijn

    Research output: ThesisPhD Thesis - Research UT, graduation external

    39 Downloads (Pure)
    Original languageUndefined
    Supervisors/Advisors
    • Brinksma, Hendrik , Supervisor
    • Vaandrager, F.W., Supervisor
    Award date15 Oct 1999
    Place of PublicationEnschede
    Publisher
    Print ISBNs90-9013086-1
    Publication statusPublished - 15 Oct 1999

    Keywords

    • METIS-118429
    • IR-17910

    Cite this

    Romijn, J. M. T., & Romijn, J. M. T. (1999). Analysing Industrial Protocols with Formal Methods. Enschede: Universiteit Twente.