Executing LOTOS specifications: the SMILE tool

E.H. Eertink

    Research output: Contribution to conferencePaper

    Original languageEnglish
    Number of pages17
    Publication statusPublished - 1992
    Event3rd LotoSphere Workshop & Seminar 1992 - Pisa, Italy
    Duration: 14 Sep 199216 Sep 1992

    Conference

    Conference3rd LotoSphere Workshop & Seminar 1992
    CountryItaly
    CityPisa
    Period14/09/9216/09/92

    Cite this

    Eertink, E. H. (1992). Executing LOTOS specifications: the SMILE tool. Paper presented at 3rd LotoSphere Workshop & Seminar 1992, Pisa, Italy.