"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-0-387-35271-8","Formal Description Techniques and Protocol Specification, Testing and Verification","FORTE X / PSTV XVII ’97","Atsushi Togashi; Tadanori Mizuno; Norio Shiratori; Teruo Higashino",1997,"1","https://doi.org/10.1007/978-0-387-35271-8",400,""