Victoria University

On the Use of Model Checking for the Bounded and Unbounded Verification of Nonblocking Concurrent Data Structures

ResearchArchive/Manakin Repository

Files in this item

This item appears in the following Collection(s) Except where otherwise noted, this item's license is described as

Search ResearchArchive

Advanced Search


My Account