Symbolic executions of LOTOS Specifications

E.H. Eertink, D. Wolz

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

    Original languageUndefined
    Title of host publicationForte '92: Proceedings of the 5th International Conference on Formal Description Techniques
    Place of PublicationPerros-Guirec
    Pages-
    Number of pages16
    Publication statusPublished - 17 Oct 1992

    Keywords

    • METIS-119475

    Cite this

    Eertink, E. H., & Wolz, D. (1992). Symbolic executions of LOTOS Specifications. In Forte '92: Proceedings of the 5th International Conference on Formal Description Techniques (pp. -). Perros-Guirec.