Goal-driven LOTOS execution

E. Brinksma, H. Eertink

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    1 Citation (Scopus)
    Original languageEnglish
    Title of host publicationProtocol Specification, Testing and Verification XIII
    Subtitle of host publicationProceedings IFIP TC6/WG6.1 Thirteenth International Symposium, Liège, Belgium, May 25-28, 1993
    PublisherNorth Holland
    Pages45-60
    ISBN (Print)0-444-81648-8
    Publication statusPublished - 1993
    EventIFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, PSTV 1993 - Liege, Belgium
    Duration: 25 May 199328 May 1993
    Conference number: 13

    Publication series

    NameIFIP Transactions Series
    PublisherNorth-Holland
    NumberC-16
    ISSN (Print)0926-549X

    Conference

    ConferenceIFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, PSTV 1993
    Abbreviated titlePSTV 1993
    CountryBelgium
    CityLiege
    Period25/05/9328/05/93

    Cite this

    Brinksma, E., & Eertink, H. (1993). Goal-driven LOTOS execution. In Protocol Specification, Testing and Verification XIII: Proceedings IFIP TC6/WG6.1 Thirteenth International Symposium, Liège, Belgium, May 25-28, 1993 (pp. 45-60). (IFIP Transactions Series; No. C-16). North Holland.