Publication
-
January 2005
-
January 2005
-
January 2005
-
Het berekenen van kwaliteit van Internet-telefonie met wiskudnige modellen Article
Aenorm, 22-27.January 2005 -
Argumentation for access control In Proceedings
January 2005 -
On fairness in simulatability-based cryptographic systems In Proceedings
January 2005
-
Abstract Behavior Types: a foundation model for components and their composition Article
Science of Computer Programming, 55(1-3), 3-52.January 2005 -
Domain Specific Test Systems Tech Report
January 2005