_id,doi,title
4585,10.1007/3-540-61474-5, 8th International Conference on Computer Aided Verification