Centrum Wiskunde & Informatica

A model for strategy in constraint solving Tech Report

J.J. van Wijk (Jack)

January 1997
Validating year 2000 compliance Tech Report

A. van Deursen (Arie), P. Klint (Paul) and M.P.A. Sellink

January 1997
Program plan recognition for year 2000 tools Tech Report

A. van Deursen (Arie), S. Woods and A. Quilici

January 1997
Weighted colimits and formal balls in generalized metric spaces Tech Report

J.J.M.M. Rutten (Jan)

January 1997
Nonconvex continuous models for combinatorial optimization problems with application to satisfiability and node packing problems Tech Report

J.P. Warners (Joost)

January 1997
The syntax and semantics of timed $ mu $ CRL Tech Report

J.F. Groote (Jan Friso)

January 1997
A complete equational axiomatization for MPA with string iteration Tech Report

L. Aceto (Luca) and J.F. Groote (Jan Friso)

January 1997
A two-level approach to automated conformance testing of VHDL designs Tech Report

J.R. Moonen, J.M.T. Romijn (Judi), O. Sies (Olaf), J.G. Springintveld, L.M.G. Feijs (Loe) and R.L.C. Koymans

January 1997

Previous

Next