Experimental Investigation of Calcium Looping CO2 Capture for Application in Cement Plants by Hornberger, Matthias 0 Type: Book
Verification of systems and circuits using LOTOS, Petri nets, and CCS by Yoeli, Michael, Kol, Rakefet fromWiley Series on Parallel and Distributed Computing 0 Type: Book
A calculus of communicating systems by Milner, R., (Robin) fromLecture Notes in Computer Science 0 Type: Book
Unifying theories of programming: First international symposium, UTP 2006, Walworth… by Stoddart, Bill, Dunne, Steve, UTP 2006 fromLecture Notes in Computer Science 0 Type: Book
