Mike R. True

	2006
1		Sean Callanan, Radu Grosu, Abhishek Rai, Scott A. Smolka, Mike R. True, Erez Zadok: Runtime Verification for High-Confidence Systems: A Monte Carlo Approach. Electr. Notes Theor. Comput. Sci. 164(4): 41-52 (2006)

Coauthor Index

1	Sean Callanan	[1]
2	Radu Grosu	[1]
3	Abhishek Rai	[1]
4	Scott A. Smolka	[1]
5	Erez Zadok	[1]