Uppsala University
Department of Information Technology
UPPAAL Research Group
People
 |
 |
 |
|||||
| Pavel Krcál | John Håkansson |
Leonid Mokrushin |
|||||
| |||||||
Former Members
 |
 |
 |
| Tobias Amnell |
Johan Bengtsson |
Alexandre David |
 |
 |
 |
| Elena Fersman |
Annika Karlsson |
Shi Xiaochun |
