Model Checking for Probability and Time: From Theory to Practice

Marta Kwiatkowska

Research output: Contribution to conference (unpublished) › Paper

94 Citations (Scopus)

Original language	English
Pages	351-360
Number of pages	10
Publication status	Published - 1 Jan 2003
Event	Proceedings of 18th Annual IEEE Symposium on Logic in Computer Science (LICS'03) - Duration: 1 Jan 2003 → …

Conference	Proceedings of 18th Annual IEEE Symposium on Logic in Computer Science (LICS'03)
Period	1/01/03 → …

Cite this

@conference{fe158fdc05474cd488ca226ced5c5f7b,

title = "Model Checking for Probability and Time: From Theory to Practice",

author = "Marta Kwiatkowska",

year = "2003",

month = jan,

day = "1",

language = "English",

pages = "351--360",

note = "Proceedings of 18th Annual IEEE Symposium on Logic in Computer Science (LICS'03) ; Conference date: 01-01-2003",

}