Solid State NMR Spectroscopy for Biopolymers Principles and Applications - Saito, Hazime; Ando, Isao.; Naito, Akira; SpringerLink (Online service) (Dordrecht : Springer, 2006)
Keywords: Formal methods (Computer science); Formal methods (Computer science) -- Industrial applications