Simulation techniques for the validation of lotos specifications

E.H. Eertink

    Research output: ThesisPhD Thesis - Research UT, graduation UT

    Original languageUndefined
    Awarding Institution
    • University of Twente
    Supervisors/Advisors
    • Brinksma, Hendrik , Supervisor
    Award date24 Mar 1994
    Place of PublicationEnschede
    Publisher
    Print ISBNs90-9006972-0
    Publication statusPublished - 24 Mar 1994

    Keywords

    • METIS-118412

    Cite this

    Eertink, E. H. (1994). Simulation techniques for the validation of lotos specifications. Enschede: Universiteit Twente.