_id,doi,title
10199,10.15479/at:ista:10199,Improved verification techniques for concurrent systems