Representation of process-gate nets in LOTOS and verification of LOTOS laws: the boolean algebra approach

W.T.M. Kars

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

    Original languageUndefined
    Title of host publicationConference on Formal Description Techniques VII
    Place of PublicationBern, Zwitserland
    Pages145-160
    Publication statusPublished - 7 Oct 1994

    Keywords

    • METIS-120036

    Cite this

    Kars, W. T. M. (1994). Representation of process-gate nets in LOTOS and verification of LOTOS laws: the boolean algebra approach. In Conference on Formal Description Techniques VII (pp. 145-160). Bern, Zwitserland.