@book{0caaae70003511dab4d5000ea68e967b,
title = "Tools and Algorithms for the Construction and Analysis of Systems",
author = "Brinksma, {E. (Ed.)} and Cleaveland, {W. R. (Ed.)} and Larsen, {Kim Guldstrand} and Margari, {T. (Ed.)} and Skou, {Arne (Ed.)} and Steffen, {B. (Ed.)}",
note = "Appeared Earlier as Brics Notes Series NS-95-2 Appeared Earlier as Brics Notes Series NS-95-2",
year = "1995",
language = "English",
isbn = "3540606300",
series = "Lecture Notes in Computer Science",
publisher = "IEEE Computer Society Press",
number = "1019",
address = "United States",
}