Tools and Algorithms for the Construction and Analysis of Systems

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined
    Title of host publicationTACAS'97, Lecture Notes in Computer Science 1217 (Springer Verlag) (editor)
    Place of PublicationUniversity of Twente, Enschede
    Pages-
    Number of pages431
    Publication statusPublished - 2 Apr 1997

    Keywords

    • METIS-120061

    Cite this

    Brinksma, H. (1997). Tools and Algorithms for the Construction and Analysis of Systems. In TACAS'97, Lecture Notes in Computer Science 1217 (Springer Verlag) (editor) (pp. -). University of Twente, Enschede.
    Brinksma, Hendrik. / Tools and Algorithms for the Construction and Analysis of Systems. TACAS'97, Lecture Notes in Computer Science 1217 (Springer Verlag) (editor). University of Twente, Enschede, 1997. pp. -
    @inproceedings{f87f47c872ca4102882c26b46ec6f72c,
    title = "Tools and Algorithms for the Construction and Analysis of Systems",
    keywords = "METIS-120061",
    author = "Hendrik Brinksma",
    year = "1997",
    month = "4",
    day = "2",
    language = "Undefined",
    isbn = "3-54--62790-1",
    pages = "--",
    booktitle = "TACAS'97, Lecture Notes in Computer Science 1217 (Springer Verlag) (editor)",

    }

    Brinksma, H 1997, Tools and Algorithms for the Construction and Analysis of Systems. in TACAS'97, Lecture Notes in Computer Science 1217 (Springer Verlag) (editor). University of Twente, Enschede, pp. -.

    Tools and Algorithms for the Construction and Analysis of Systems. / Brinksma, Hendrik.

    TACAS'97, Lecture Notes in Computer Science 1217 (Springer Verlag) (editor). University of Twente, Enschede, 1997. p. -.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    TY - GEN

    T1 - Tools and Algorithms for the Construction and Analysis of Systems

    AU - Brinksma, Hendrik

    PY - 1997/4/2

    Y1 - 1997/4/2

    KW - METIS-120061

    M3 - Conference contribution

    SN - 3-54--62790-1

    SP - -

    BT - TACAS'97, Lecture Notes in Computer Science 1217 (Springer Verlag) (editor)

    CY - University of Twente, Enschede

    ER -

    Brinksma H. Tools and Algorithms for the Construction and Analysis of Systems. In TACAS'97, Lecture Notes in Computer Science 1217 (Springer Verlag) (editor). University of Twente, Enschede. 1997. p. -