Andrew Hinton

	2006
1		Andrew Hinton, Marta Z. Kwiatkowska, Gethin Norman, David Parker: PRISM: A Tool for Automatic Verification of Probabilistic Systems. TACAS 2006: 441-444

Coauthor Index

1	Marta Z. Kwiatkowska	[1]
2	Gethin Norman	[1]
3	David Parker	[1]