TY  - BOOK
AU  - Bernardo, Marco
AU  - Inverardi, Paola
ED  - International School on Formal Methods for the Design of Computer, Communication and Software Systems (3rd : 2003 : Bertinoro, Italy)
TI  - Formal methods for software architectures : third international school on formal methods for the design of computer, communication, and software systems--software architectures, SFM 2003, Bertinoro, Italy, September 2003 : advanced lectures
SN  - 9783540200833
SN  - 200306098
U1  - 005.3 BER 
PY  - 2003///
CY  - Berlin
PB  - Springer
KW  - Computer software - Congresses
KW  - Computer systems - Congresses
KW  - Formal methods (Computer science) - Congresses
KW  - Real-time data processing - Congresses
N1  - Includes bibliographical references and index
ER  -