| |
| 2006 | ||
|---|---|---|
| 4 | EE | Milos Besta, Frank A. Stomp: An Assertional Correctness Proof of a Self-Stabilizing - Exclusion Algorithm. ICECCS 2006: 199-208 |
| 2005 | ||
| 3 | EE | Milos Besta, Frank A. Stomp: A Complete Mechanization of Correctness of a String-Preprocessing Algorithm. Formal Methods in System Design 27(1-2): 5-17 (2005) |
| 2002 | ||
| 2 | EE | Milos Besta, Frank A. Stomp: Mechanization of a Proof of String-Preprocessing in Boyer-Moore's Pattern Matching Algorithm. ICECCS 2002: 68-77 |
| 1999 | ||
| 1 | EE | Frantisek Plasil, Milos Besta, Stanislav Visnovsky: Bounding Component Behavior via Protocols. TOOLS (30) 1999: 387-398 |
| 1 | Frantisek Plasil | [1] |
| 2 | Frank A. Stomp | [2] [3] [4] |
| 3 | Stanislav Visnovsky | [1] |