This is an update request for the document Specification and implementation of components of a μCRL toolbox
by D. Dams and J.F. Groote
Your paper was deposited in Utrecht University Repository
and appears online at
Before we are able to make any updates or deletions, you must
ensure that the original record at this location is updated/removed.