Symbolic execution of LOTOS specifications

E.H. Eertink, D. Wolz

    Research output: Book/Report › Report › Professional

    Original languageEnglish
    Place of PublicationEnschede
    PublisherUniversity of Twente
    Number of pages19
    Publication statusPublished - 1991

    Publication series

    NameMemoranda informatica
    PublisherUniversity of Twente
    No.91-47
    ISSN (Print)0924-3755
    • 1 Conference contribution

    • Symbolic executions of LOTOS Specifications

      Eertink, E. H. & Wolz, D., 17 Oct 1992, Forte '92: Proceedings of the 5th International Conference on Formal Description Techniques. Perros-Guirec, p. - 16 p.

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Cite this