Model checking for dynamic allocation and deallocation

Research output: Book/Report › Report › Academic

Original language	Undefined
Publisher	Centre for Telematics and Information Technology (CTIT)
Number of pages	57
Publication status	Published - 2002

Name	CTIT Technical Report Series
No.	01-40
ISSN (Print)	1381-3625

Keywords

@book{231495e781fa418099d22f46e80edc81,

title = "Model checking for dynamic allocation and deallocation",

keywords = "METIS-208745",

author = "D.S. Distefano and Arend Rensink and Katoen, {Joost P.}",

year = "2002",

language = "Undefined",

series = "CTIT Technical Report Series",

publisher = "Centre for Telematics and Information Technology (CTIT)",

number = "01-40",

address = "Netherlands",

}