_id,doi,title
4460,10.1023/A:1026228213080,From pre-historic to post-modern symbolic model checking