Deadlock and starvation free reentrant readers–writers: A case study combining model checking with theorem proving
Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, Marko van EekelenVolume:
76
Year:
2011
Language:
english
Pages:
18
DOI:
10.1016/j.scico.2010.03.004
File:
PDF, 415 KB
english, 2011