International Conference on Computer Technology, Systemsand Application.International Conference on Computer Technology , Systems and Application (1st : 1987 : Hamburg):VLSI and computers : proceedings.IEEE,1987.
IFIP TC 6 International Symposium on Computer Message Systems ( 2nd : Washington : 1985 ).IFIP TC 6 International Symposium on Computer Message Systems ( 2nd : 1985 : Washington ):Computer message systems-85 : proceeding.NHPC,1986.
IFIP TC 6 International Symposium on Computer Messago Systems.IFIP TC 6 International Symposium on Computer Message Systems (2nd : 1985 : Washington):Computer message systems--85.NHPC,1986.
Bernardo, Marco.,Inverardi, Paola..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 /.Springer,,2003..
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 /