 |
My homepage moved to University of Luxembourg. You should be redirected in about 5 seconds.
Jun PANGUniversity of Luxembourg This Page: seshome.informatik.uni-oldenburg.de/~jun |
Research |
Publications, (curriculum vitæ available upon request) Research interest: process algebra, concurrency theory, verification, model checking, distributed algorithms, security and privacy |
Bookmarks |
Conference and workshop calendar
in theoretical computer science and formal methods (München) List of my publications from the DBLP Bibliography Server (Trier) |
Disclaimer |
The content of the homepage falls beyond the responsibility of the University of Oldenburg. |
| Jan. 21, 2008 |
|