Botinčan, Matko
-
Vol 13, No 4 (2005) - Regular Papers
AsmL Specification and Verification of Lamport’s Bakery Algorithm
Abstract PDF -
Vol 12, No 2 (2004): Special Issue on ITI 2004 - Information Technology Interfaces - Special Issue on ITI 2004 - Information Technology Interfaces
A Generic C++ Library for Solving Path Problems
Abstract PDF