Research Meeting 08374
Klausurtagung Lehrstuhl Heiko Mantel
( Sep 10 – Sep 12, 2008 )
Permalink
Please use the following short url to reference this page:
https://www.dagstuhl.de/08374
Organizer
- Heiko Mantel (TU Darmstadt, DE)
Contact
Related Seminars
- Research Meeting 11133: Formal Methods for Making IT Systems Secure (2011-03-30 - 2011-04-01) (Details)