_id,doi,title
3300,10.1007/978-3-319-10575-8,Handbook of Model Checking