Model-Checking Discrete Duration Calculus

Michael R. Hansen

TypeJournal paper [With referee]
JournalFormal Aspects of Computing
Year1994    Vol. 6A    pp. 826-845
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering


Back  ::  IMM Publications