Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems

Research output: Book/Report › Book › Research

Original language	English

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

AUB Link

@book{84933430003411dab4d5000ea68e967b,

title = "Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems",

author = "Engberg, {Uffe H.} and Larsen, {Kim Guldstrand} and Arne Skou",

year = "1995",

language = "English",

series = "B R I C S Notes Series",

number = "NS-95-2",

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

address = "Denmark",

}

TY - BOOK

T1 - Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems

AU - Engberg, Uffe H.

AU - Larsen, Kim Guldstrand

AU - Skou, Arne

PY - 1995

Y1 - 1995

M3 - Book

T3 - B R I C S Notes Series

BT - Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems

PB - Department of Computer Science, Aarhus University

CY - Århus

ER -