Publication
-
January 2005
-
Building your own shock tube Tech Report
January 2005
-
A BDD-representation for the logic of equality and uninterpreted functions (a full version with proofs). Tech Report
January 2005
-
January 2005
-
Context aware guidance for multimedia authoring: harmonizing domain and discourse knowledge Tech Report
January 2005
-
January 2005
-
January 2005
-
Specification of coordination behaviors in software architecture using the Reo coordination language Tech Report
January 2005