International Conference on Formal Methods for Open Object-Based Distributed Systems, Ciancarini, Paolo, 1959-, …
Kluwer Academic
|
International Conference on Formal Methods for Open Object-Based Distributed Systems, Jacobs, Bart, Rensink, Arend
Kluwer Academic Publishers
|
International Conference on Formal Methods for Open Object-Based Distributed Systems, Najm, Elie, Nestmann, Uwe, …
Springer
|
International Conference on Formal Methods for Open Object-Based Distributed Systems, Smith, Scott F., Talcott, Carolyn …
Kluwer Academic Publishers
|
DAIS, Kutvonen, Lea, Alonistioti, Nancy
Springer
|
FORTE, Wang, Farn
Springer
|
International Conference on Formal Methods for Open Object-Based Distributed Systems, Kanade, Takeo, Steffen, Martin, …
Springer eBooks Computer Science, Springer Berlin / Heidelberg
|
FORTE, König, Hartmut, 1947-, Heiner, Monika, 1954-, Wolisz, Adam, IFIP Working Group 6.1
Springer
|
International Conference on Formal Methods for Open Object-Based Distributed Systems, Kanade, Takeo, Steffen, Martin, …
SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
|
FORTE, Najm, Elie, Pradat-Peyre, Jean-François, Donzeau-Gouge, Véronique Viguié
Springer
|
International Conference on Formal Methods for Open Object-Based Distributed Systems, Gorrieri, Roberto, Wehrheim, Heike
Springer
|
FORTE, Frutos-Escrig, David de, Núñes, Manuel, IFIP Working Group 6.1
Springer
|