Reducing Extended Transition Systems

E.H. Eertink, W.T.M. Kars, H.G. Wennink

    Research output: Book/ReportReportProfessional

    Original languageEnglish
    Place of PublicationEnschede
    PublisherUniversity of Twente
    Number of pages12
    Publication statusPublished - 1993

    Publication series

    NameMemoranda Informatica
    PublisherUniversity of Twente
    ISSN (Print)0924-3755
    NameMemorandum TIOS
    PublisherUniversity of Twente, Tele-Informatics and Open Systems Group

    Cite this

    Eertink, E. H., Kars, W. T. M., & Wennink, H. G. (1993). Reducing Extended Transition Systems. (Memoranda Informatica; No. 93-04), (Memorandum TIOS; No. 93-02). Enschede: University of Twente.