International Conference on Formal Methods for Open Object-Based Distributed Systems, Smith, Scott F., Talcott, Carolyn …
Kluwer Academic Publishers
|
Kim, Tai-hoon., Stoica, Adrian., Fang, Wai-chi., Vasilakos, Thanos., Garcia Villalba, Javier., Arnett, Kirk P., Khurram …
Springer Berlin Heidelberg : Imprint: Springer
|
International Conference on Formal Methods for Open Object-Based Distributed Systems (3rd : 1999 : Florence, Italy), …
Kluwer Academic
|
CMS, Lioy, Antonio, 1958-, Mazzocchi, Daniele
Springer
|
IFIP TC11 WG11.3 Annual Conference on Data and Applications Security, Gudes, Ehud, Shenoi, Sujeet
Kluwer Academic
|
Frick, Jan., Laugen, Bjørge Timenes., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
IFIP TC11 International Conference on Information Security, Britzalis, Dimitris
Kluwer Academic
|
Kim, Tai-hoon., Ramos, Carlos., Abawajy, Jemal., Kang, Byeong-Ho., Slezak, Dominik., Adeli, Hojjat., SpringerLink …
Springer Berlin Heidelberg : Imprint: Springer
|
IFIP TC11 International Conference on Information Security, Dupuy, Michel, Paradinas, Pierre
Kluwer Academic Publishers
|
International Conference on Parallel Processing, Dietz, Hank, Eigenmann, Rudolf, Fortes, Jose, Hambrusch, Susanne, IEEE …
IEEE Computer Society
|
IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (7th : 1987 : Zurich, …
North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
|
IFIP Working Conference on Stochastic Differential Systems, Engelbert, Hans Jürgen, Schmidt, W. (Wolfgang), IFIP WG 7.1
Springer-Verlag
|