Probabilistic symbolic model checker

Marta Kwiatkowska; Gethin Norman; David Parker; T Field; P Harrison; J Bradley; U Harder

Probabilistic symbolic model checker

Marta Kwiatkowska, Gethin Norman, David Parker, T Field, P Harrison, J Bradley, U Harder

Computer Science

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Pages	LNCS 200-204
Publication status	Published - 1 Jan 2002
Event	Proceedings 12th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS'02) - Duration: 1 Jan 2002 → …

Conference

Conference	Proceedings 12th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS'02)
Period	1/01/02 → …

Cite this

@conference{411b4993b1a14325ae6e434c144aad62,

title = "Probabilistic symbolic model checker",

author = "Marta Kwiatkowska and Gethin Norman and David Parker and T Field and P Harrison and J Bradley and U Harder",

year = "2002",

month = jan,

day = "1",

language = "English",

pages = "LNCS 200--204",

note = "Proceedings 12th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS'02) ; Conference date: 01-01-2002",

}

TY - CONF

T1 - Probabilistic symbolic model checker

AU - Kwiatkowska, Marta

AU - Norman, Gethin

AU - Parker, David

AU - Field, T

AU - Harrison, P

AU - Bradley, J

AU - Harder, U

PY - 2002/1/1

Y1 - 2002/1/1

M3 - Paper

SP - LNCS 200-204

T2 - Proceedings 12th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS'02)

Y2 - 1 January 2002

ER -