Tools and Algerithms for the Construction and Analysis of Systems

Research output: Book/Report › Book › Academic

Name	Lecture Notes in Computer Science
No.	2280

Keywords

@book{c4a5b8dc7bad49e291131054d88d3b3a,

title = "Tools and Algerithms for the Construction and Analysis of Systems",

keywords = "METIS-208766",

author = "Katoen, \{Joost P.\} and Perdita Stevens",

year = "2002",

language = "Undefined",

isbn = "3-450-43419-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "2280",

address = "Germany",

}