Simulation techniques for the validation of lotos specifications

E.H. Eertink

    Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

    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.
    Eertink, E.H.. / Simulation techniques for the validation of lotos specifications. Enschede : Universiteit Twente, 1994. 194 p.
    @phdthesis{0282d5196d7046cb87bbfa8b2fa28764,
    title = "Simulation techniques for the validation of lotos specifications",
    keywords = "METIS-118412",
    author = "E.H. Eertink",
    year = "1994",
    month = "3",
    day = "24",
    language = "Undefined",
    isbn = "90-9006972-0",
    publisher = "Universiteit Twente",
    school = "University of Twente",

    }

    Eertink, EH 1994, 'Simulation techniques for the validation of lotos specifications', University of Twente, Enschede.

    Simulation techniques for the validation of lotos specifications. / Eertink, E.H.

    Enschede : Universiteit Twente, 1994. 194 p.

    Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

    TY - THES

    T1 - Simulation techniques for the validation of lotos specifications

    AU - Eertink, E.H.

    PY - 1994/3/24

    Y1 - 1994/3/24

    KW - METIS-118412

    M3 - PhD Thesis - Research UT, graduation UT

    SN - 90-9006972-0

    PB - Universiteit Twente

    CY - Enschede

    ER -

    Eertink EH. Simulation techniques for the validation of lotos specifications. Enschede: Universiteit Twente, 1994. 194 p.