in FORMAL METHODS FOR SOFTWARE ARCHITECTURES in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 2804, Páginas: 148-181 (34)
Conference
3Rd International School on Formal Methods for the Design of Computer, Communication and Software Systems, Date: SEP 22-27, 2003, Location: BERTINORO, ITALY
