Search for persons
X
?
1
Verifikation von Systemen synchroner Software-Komponenten -..
Schlussbericht zum Projekt "VerSyKo" ; Laufzeit des Vorhabe...
?
2
Algebra and Coalgebra in Computer Science
5th International Conference, CALCO 2013, Warsaw, Poland, S...
Lecture Notes in Computer Science ; 8089;SpringerLink, Bücher