Analysing Industrial Protocols with Formal Methods

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

    Research output: ThesisPhD Thesis - Research UT, graduation external

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

    Keywords

    • METIS-118429
    • IR-17910

    Cite this