Modelling of complex software systems: A reasoned overview, in (0)

by D Krob
Venue:DonzeauGouge (Eds.), Formal Techniques for Networked and Distributed Systems - FORTE 2006