Michal Tomasz Terepeta
PhD student
Matematiktorvet, Building 322, 007
2800, Kgs. Lyngby
Publications
(2)- Published
Recursive Advice for Coordination
Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Published
Galois Connections for Flow Algebras
Publication: Research - peer-review › Article in proceedings – Annual report year: 2011
Projects
(1)Static Analysis for Model Checking
Project: PhD
Loading map data...
Latest activities and conferences
Loading map data...
ID: 303072