Approach to Search for Deadlocks in Multi-threaded Software Using SPIN Verifier
Published: 01.01.2013
Authors: Mozharov G.P., Parfilov I.V.
Published in issue: #11(11)/2012
DOI: 10.18698/2308-6033-2012-11-481
Category: Information technology | Chapter: Computer systems and networks
Sorry, this page is not available in English