Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Matko Botin�an

AsmL Specification and Verification of Lamport�s Bakery Algorithm

Journal of Computing and Information Technology
Computer Science
2005English

Related publications

Formal Specification and Verification

2019English

Formal Specification and Verification of CRDTs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Formal Specification and Verification of Dynamic Parametrized Architectures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

MetAcsl: Specification and Verification of High-Level Properties

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Dynamic Access Control Policies: Specification and Verification

Computer Journal
Computer Science
2012English

Specification and Verification of Media Constraints Using UPPAAL

Design, Specification and Verification of Interactive Systems ’98
1998English

Enhancing Formal Specification and Verification of E-Commerce Protocol

Journal of Advanced Computer Science & Technology
2017English

Specification Styles in Distributed Systems Design and Verification

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
1991English

Combining CSP and B for Specification and Property Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy