Milos Besta

According to our database, Milos Besta authored at least 4 papers between 1999 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

An Assertional Correctness Proof of a Self-Stabilizing - Exclusion Algorithm.

Milos Besta, Frank A. Stomp

Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

2005

A Complete Mechanization of Correctness of a String-Preprocessing Algorithm.

Milos Besta, Frank A. Stomp

Formal Methods Syst. Des., 2005

2002

Mechanization of a Proof of String-Preprocessing in Boyer-Moore's Pattern Matching Algorithm.

Milos Besta, Frank A. Stomp

Proceedings of the 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2002

1999

Bounding Component Behavior via Protocols.

Frantisek Plásil, Milos Besta, Stanislav Visnovsky

Proceedings of the TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software, 1999