Symbolic execution of LOTOS specifications

E.H. Eertink, D. Wolz

    Research output: Contribution to journalArticleProfessional

    Original languageUndefined
    Pages (from-to)-
    Number of pages19
    JournalMemoranda informatica
    Volume1
    Issue number47
    Publication statusPublished - 1991

    Keywords

    • METIS-121824

    Cite this

    Eertink, E. H., & Wolz, D. (1991). Symbolic execution of LOTOS specifications. Memoranda informatica, 1(47), -.