Specification and Automated Verification of Real-Time Behaviour: A Case Study

Jørgen H. Andersen, Carsten H. Kristensen, Arne Skou

Research output: Book/Report › Book › Communication

Original language	English

Place of Publication	Århus
Publisher	Department of Computer Science, Aarhus University
Publication status	Published - 1995

AUB Link

@book{d3395420003411dab4d5000ea68e967b,

title = "Specification and Automated Verification of Real-Time Behaviour: A Case Study",

author = "Andersen, {J{\o}rgen H.} and Kristensen, {Carsten H.} and Arne Skou",

year = "1995",

language = "English",

series = "BRICS Report Series",

number = "RS-95-60",

publisher = "Department of Computer Science, Aarhus University",

address = "Denmark",

}