On the use of specifications styles for automated protocolimplementation from LOTOS to C

P.H.J. van Eijk, H.H.C. Kremer, Marten J. van Sinderen

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

    Original languageUndefined
    Title of host publicationTenth International Symposium on Protocol, Specification, Testing and Verification
    Place of PublicationOttawa, Canada
    Number of pages13
    Publication statusPublished - 1 Jun 1990


    • METIS-119460

    Cite this