State maps of general behaviors, their lattice structure and bisimulations

A.A.J. Anak Agung Julius (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Leuven, Belgium
    Period6 Jul 2004
    Event title16th International Symposium on Mathematical Theory of Networks and Systems, MTNS 2004
    Event typeConference
    Conference number16
    LocationLeuven, Belgium

    Keywords

    • METIS-218637