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

> 2013 doctoral thesis by David Friggens at Victoria University of Wellington

**Wikidata**: [Q112574800](https://www.wikidata.org/wiki/Q112574800)  
**Source**: https://4ort.xyz/entity/on-the-use-of-model-checking-for-the-bounded-and-unbounded-verification-of-nonblocking-concurrent-data-structures


## References

1. [Source](https://doi.org/10.26686/wgtn.17004076)