M. Besta

Behavior Protocols

Frantisek Plasil, Stanislav Visnovsky, F. Plášil, 2000 .

An Assertional Correctness Proof of a Self-Stabilizing -Exclusion Algorithm (Extended Abstract)

F. Stomp, M. Besta, Milos Besta, 2006 .

Self-stabilizing e-exclusion: a correctness proof

F. Stomp, M. Besta, 2005 .

Bounding component behavior via protocols

Frantisek Plasil, Milos Besta, Stanislav Visnovsky, 1999, Proceedings of Technology of Object-Oriented Languages and Systems - TOOLS 30 (Cat. No.PR00278).

A Complete Mechanization of Correctness of a String-Preprocessing Algorithm

Milos Besta, Frank A. Stomp, F. Stomp, 2005, Formal Methods Syst. Des..