by Alba-Castro, Mauricio, Alpuente, María, Escobar, Santiago
Published in Formal Methods for Components and Objects (2010)

by Komenda, Jan, van Schuppen, Jan H.
Published in Lecture notes in computer science (2006)

by Ahrendt, Wolfgang, Beckert, Bernhard, Hähnle, Reiner, Rümmer, Philipp, Schmitt, Peter H.
Published in Formal Methods for Components and Objects (2007)

by Naumann, David A.
Published in Lecture notes in computer science (2005)

by Albert, Elvira, Arenas, Puri, Genaim, Samir, Puebla, German, Zanardini, Damiano
Published in Formal Methods for Components and Objects (2008)

by von Oheimb, David, Mödersheim, Sebastian
Published in Formal Methods for Components and Objects (2012)

by Johnsen, Einar Broch, Owe, Olaf
Published in Lecture notes in computer science (2005)

by Chatterjee, Krishnendu, Henzinger, Thomas A., Jurdziński, Marcin
Published in Lecture notes in computer science (2005)

by Katt, Basel, Gander, Matthias, Breu, Ruth, Felderer, Michael
Published in Formal Methods for Components and Objects (2013)

by dos Santos, Osmar M., Woodcock, Jim, Paige, Richard F., King, Steve
Published in Formal Methods for Components and Objects (2010)

by Cointe, Pierre, Albin-Amiot, Hervé, Denier, Simon
Published in Lecture notes in computer science (2005)

by Schaefer, Ina, Gurov, Dilian, Soleimanifard, Siavash
Published in Formal Methods for Components and Objects (2012)

by Issarny, Valérie, Bennaceur, Amel
Published in Formal Methods for Components and Objects (2013)

by Hartmanns, Arnd
Published in Formal Methods for Components and Objects (2012)

by Brown, Christopher, Hammond, Kevin, Danelutto, Marco, Kilpatrick, Peter, Schöner, Holger, Breddin, Tino
Published in Formal Methods for Components and Objects (2013)

by Hermanns, Holger, Katoen, Joost-Pieter
Published in Formal Methods for Components and Objects (2010)

by Schor, Lars, Yang, Hoeseok, Bacivarov, Iuliana, Thiele, Lothar
Published in Formal Methods for Components and Objects (2013)

by Lamprecht, Anna-Lena, Margaria, Tiziana, Schaefer, Ina, Steffen, Bernhard
Published in Formal Methods for Components and Objects (2013)

by David, Alexandre, Larsen, Kim Guldstrand, Li, Shuhao, Mikucionis, Marius, Nielsen, Brian
Published in Formal Methods for Components and Objects (2012)

by Baresi, Luciano, Morzenti, Angelo, Motta, Alfredo, Rossi, Matteo
Published in Formal Methods for Components and Objects (2012)