Milos Besta

	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

Coauthor Index

1	Frantisek Plasil	[1]
2	Frank A. Stomp	[2] [3] [4]
3	Stanislav Visnovsky	[1]

Colors in the list of coauthors