_id,doi,title
1155,10.15479/AT:ISTA:TH_730,Statistical and logical methods for property checking