dblp.uni-trier.dewww.uni-trier.de

Milos Besta

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2006
4EEMilos Besta, Frank A. Stomp: An Assertional Correctness Proof of a Self-Stabilizing - Exclusion Algorithm. ICECCS 2006: 199-208
2005
3EEMilos 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
2EEMilos Besta, Frank A. Stomp: Mechanization of a Proof of String-Preprocessing in Boyer-Moore's Pattern Matching Algorithm. ICECCS 2002: 68-77
1999
1EEFrantisek Plasil, Milos Besta, Stanislav Visnovsky: Bounding Component Behavior via Protocols. TOOLS (30) 1999: 387-398

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)