Milos Besta

Publication Activity (10 Years)

Years Active: 1999-2006
Publications (10 Years): 0

Publications

Milos Besta, Frank A. Stomp
An Assertional Correctness Proof of a Self-Stabilizing - Exclusion Algorithm. ICECCS (2006)
Milos Besta, Frank A. Stomp
A Complete Mechanization of Correctness of a String-Preprocessing Algorithm. Formal Methods Syst. Des. 27 (1-2) (2005)
Milos Besta, Frank A. Stomp
Mechanization of a Proof of String-Preprocessing in Boyer-Moore's Pattern Matching Algorithm. ICECCS (2002)
Frantisek Plasil, Milos Besta, Stanislav Visnovsky
Bounding Component Behavior via Protocols. TOOLS (30) (1999)