Miloslav Besta, Ph.D.

Affiliations: 
2005 Wayne State University, Detroit, MI, United States 
Area:
Computer Science
Google:
"Miloslav Besta"

Parents

Sign in to add mentor
Frank Stomp grad student 2005 Wayne State
 (Self -stabilizing ℓ-exclusion: A correctness proof.)
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Besta M, Stomp F. (2006) An assertional correctness proof of a self-stabilizing ℓ-exclusion algorithm Proceedings of the Ieee International Conference On Engineering of Complex Computer Systems, Iceccs. 199-208
Besta M, Stomp F. (2005) A complete mechanization of correctness of a string-preprocessing algorithm Formal Methods in System Design. 27: 5-27
Besta M, Stomp F. (2002) Mechanization of a proof of string-preprocessing in Boyer-Moore's pattern matching algorithm Proceedings of the Ieee International Conference On Engineering of Complex Computer Systems, Iceccs. 2002: 68-77
See more...