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

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

Publikation: Bog/antologi/afhandling/rapport › Bog › Formidling

Originalsprog	Engelsk

Udgivelsessted	Århus
Forlag	Department of Computer Science, Aarhus University
Status	Udgivet - 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",

}