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

Research Output 2007 2019

Filter
Poster
2009
10 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 conferencePoster

Open Access
File