Goal-driven LOTOS execution

E. Brinksma, H. Eertink

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

    1 Citation (Scopus)
    Original languageEnglish
    Title of host publicationProtocol Specification, Testing and Verification XIII (Proceedings IFIP TC6/WG6.1 Thirteenth International Symposium, Liège, Belgium, May 25-28, 1993)
    EditorsA.A.S. Danthine, G. Leduc, P. Wolper
    PublisherNorth-Holland Publishing Company
    Pages45-60
    ISBN (Print)0-444-81648-8
    Publication statusPublished - 1993

    Publication series

    NameIFIP transactions. C, Communication systems
    VolumeC-16
    ISSN (Print)0926-549X

    Cite this