|
LogicGuard |
|
LogicGuard II |
|
COST Action IC1405 Reversible computation - extending horizons of computing |
|
COST Action CA15120 Open Multiscale Systems Medicine (OpenMultiMed) |
|
ELIDEK 95038 |
|
ELIDEK 99323 |
|
Recent Advances of Quantitative Models in Computer Science |