Checking Equivalence for Reo Networks
Blechmann, Tobias, Baier, Christel
Published in Electronic notes in theoretical computer science (29.06.2008)
Published in Electronic notes in theoretical computer science (29.06.2008)
Get full text
Journal Article
Credo Methodology
Grabe, Immo, Jaghoori, Mohammad Mahdi, Aichernig, Bernhard, Baier, Christel, Blechmann, Tobias, de Boer, Frank, Griesmayer, Andreas, Broch Johnsen, Einar, Klein, Joachim, Klüppelholz, Sascha, Kyas, Marcel, Leister, Wolfgang, Schlatte, Rudolf, Stam, Andries, Steffen, Martin, Tschirner, Simon, Xuedong, Liang, Yi, Wang
Published in Electronic notes in theoretical computer science (12.10.2010)
Published in Electronic notes in theoretical computer science (12.10.2010)
Get full text
Journal Article
The Credo Methodology: Extended Version
Grabe, Immo, Jaghoori, Mohammad Mahdi, Klein, Joachim, Klüppelholz, Sascha, Stam, Andries, Baier, Christel, Blechmann, Tobias, Aichernig, Bernhard K., de Boer, Frank, Griesmayer, Andreas, Johnsen, Einar Broch, Kyas, Marcel, Leister, Wolfgang, Schlatte, Rudolf, Steffen, Martin, Tschirner, Simon, Xuedong, Liang, Yi, Wang
Published in Formal Methods for Components and Objects
Published in Formal Methods for Components and Objects
Get full text
Book Chapter