A symbolic out-of-core solution method for Markov models

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Publication status	Published - 1 Jan 2002
Event	Proceedings Workshop on Parallel and Distributed Model Checking (PDMC'02) - Duration: 1 Jan 2002 → …

Conference	Proceedings Workshop on Parallel and Distributed Model Checking (PDMC'02)
Period	1/01/02 → …

Cite this

@conference{3203110cc60044c99924489dd4a0b3d7,

title = "A symbolic out-of-core solution method for Markov models",

author = "Marta Kwiatkowska and R Mehmood and Gethin Norman and David Parker",

year = "2002",

month = jan,

day = "1",

language = "English",

note = "Proceedings Workshop on Parallel and Distributed Model Checking (PDMC'02) ; Conference date: 01-01-2002",

}