| |
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 |