Compositional and Symbolic Model: Checking of Real Time Systems

Kim Guldstrand Larsen, P. Pettersson, Wang Yi

Research output: Book/ReportBookResearch

94 Citations (Scopus)
Original languageEnglish
Publication statusPublished - 1995

Cite this