Mike R. True

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2006
j1		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

Last update Tue May 21 13:09:29 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page