Diagnostic Model: Checking for Real Time Systems

Kim Guldstrand Larsen, P. Pettersson, Wang Yi

Research output: Contribution to journalJournal articleResearchpeer-review

Original languageEnglish
Book seriesLecture Notes in Computer Science
VolumeNo. 1066
ISSN0302-9743
Publication statusPublished - 1996

Cite this