| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2006 | |
|---|---|---|
| 4 |      | Milos Besta, Frank A. Stomp: An Assertional Correctness Proof of a Self-Stabilizing - Exclusion Algorithm. ICECCS 2006: 199-208 |
| 2005 | ||
| 3 | | 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 | | 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 | | 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] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page