If you made any changes in Pure these will be visible here soon.

Research Output 2007 2019

Filter
Poster
2009
7 Downloads (Pure)

Probabilistic specifications with data types

Katoen, J. P., van de Pol, J., Stoelinga, M. & Timmer, M., 5 Nov 2009. 1 p.

Research output: Contribution to conferencePosterOther research output

Open Access
File