Context Dependent Minimization of State/Event Systems

G. Behrmann, K. J. Kristoffersen, Kim Guldstrand Larsen

Research output: Book/ReportBookResearch

Original languageEnglish
Place of PublicationAalborg
PublisherAalborg Universitetsforlag
Publication statusPublished - 1997

Cite this

Behrmann, G., Kristoffersen, K. J., & Larsen, K. G. (1997). Context Dependent Minimization of State/Event Systems. Aalborg Universitetsforlag.