Reducing Extended Transition Systems

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

    Research output: Book/Report › Report › Professional

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

    Publication series

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

    Cite this