Modelling and Verifying Non-blocking Algorithms that Use Dynamically Allocated Memory

Shelfclass_id	3.F.4
Sortkey	DOHERTY, SIMON
Authors	Simon Doherty
Title	Modelling and Verifying Non-blocking Algorithms that Use Dynamically Allocated Memory
Publisher	Victoria University of Wellington
Year	2004
Languages	eng
Record date	20081006
Location	Wellington