"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-319-32582-8","Model Checking Software","23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings","Dragan Bošnački; Anton Wijs",2016,"1","https://doi.org/10.1007/978-3-319-32582-8",100,""