Publications
Final Report on Verification and Assessment
2002 - Ahmad-Reza Sadeghi, Andre Adelsbach, Christian Stüble,
MAFTIA Deliverable D22, Project IST-1999-11583, January 2002.
Page:
2002 - Ahmad-Reza Sadeghi, Andre Adelsbach, Christian Stüble,
MAFTIA Deliverable D22, Project IST-1999-11583, January 2002.