Intranet English
FAKULTÄT FÜR MATHEMATIK, PHYSIK UND INFORMATIK
Lehrstuhl für Angewandte Informatik VI – Algorithmen und Datenstrukturen
Seminar

Wojciech Czerwinski - Bisimulation equivalence and techniques used to solve it

08.05.2013