| |
| 2006 | ||
|---|---|---|
| 1 | EE | 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) |
| 1 | Sean Callanan | [1] |
| 2 | Radu Grosu | [1] |
| 3 | Abhishek Rai | [1] |
| 4 | Scott A. Smolka | [1] |
| 5 | Erez Zadok | [1] |