Ronald Burgman - Partial-order reduction in a dynamic context

author:Ronald Burgman
title:Partial-order reduction in a dynamic context
keywords:
committee:prof.dr.ir. A. Rensink (1st supervisor)
A.W. Laarman MSc
dr. S. Schivo
graduation date:October 2012


Abstract