Search the dblp DataBase
Milos Besta :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Milos Besta , Frank A. Stomp Mechanization of a Proof of String-Preprocessing in Boyer-Moore's Pattern Matching Algorithm. [Citation Graph (0, 0)][DBLP ] ICECCS, 2002, pp:68-77 [Conf ] Frantisek Plasil , Miloslav Besta , Stanislav Visnovsky Bounding Component Behavior via Protocols. [Citation Graph (0, 0)][DBLP ] TOOLS (30), 1999, pp:387-398 [Conf ] Milos Besta , Frank A. Stomp A Complete Mechanization of Correctness of a String-Preprocessing Algorithm. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 2005, v:27, n:1-2, pp:5-17 [Journal ] Milos Besta , Frank A. Stomp An Assertional Correctness Proof of a Self-Stabilizing - Exclusion Algorithm. [Citation Graph (0, 0)][DBLP ] ICECCS, 2006, pp:199-208 [Conf ] Search in 0.001secs, Finished in 0.001secs