Modelling of complex software systems: A reasoned overview (2006)

by D Krob
Venue:In: Proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE’06