Milius, Stefan
2  results:
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
 
1-2