"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-031-15077-7","Model Checking Software","28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings","Owolabi Legunsen; Grigore Rosu",2022,"1","https://doi.org/10.1007/978-3-031-15077-7",180,""