Executing LOTOS specifications: the SMILE tool

E.H. Eertink

    Research output: Contribution to conference › Paper

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

    Conference

    Conference3rd LotoSphere Workshop & Seminar 1992
    Country/TerritoryItaly
    CityPisa
    Period14/09/92 → 16/09/92

    Cite this