Formal Methods for the Design of Real-Time Systems International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures Bernardo Marco Heftet / 2004 / Engelsk
Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday Boreale Michele Heftet / 2019 / Engelsk
Process Algebraic Approach to Software Architecture Design Aldini Alessandro Innbundet / 2009 / Engelsk
