Probabilistic specifications with data types

Research output: Contribution to conferencePosterOther research output

7 Downloads (Pure)
Original languageEnglish
Number of pages1
Publication statusPublished - 5 Nov 2009
Event5th Scientific ICT Research Event Netherlands, SIREN 2009 - University of Twente, Enschede, Netherlands
Duration: 5 Nov 20095 Nov 2009
Conference number: 5

Conference

Conference5th Scientific ICT Research Event Netherlands, SIREN 2009
Abbreviated titleSIREN 2009
CountryNetherlands
CityEnschede
Period5/11/095/11/09

Cite this

Katoen, J. P., van de Pol, J., Stoelinga, M., & Timmer, M. (2009). Probabilistic specifications with data types. Poster session presented at 5th Scientific ICT Research Event Netherlands, SIREN 2009, Enschede, Netherlands.
Katoen, Joost P. ; van de Pol, Jaco ; Stoelinga, Mariëlle ; Timmer, Mark . / Probabilistic specifications with data types. Poster session presented at 5th Scientific ICT Research Event Netherlands, SIREN 2009, Enschede, Netherlands.1 p.
@conference{4e5ffe9aac3946f785591cf608a77f4d,
title = "Probabilistic specifications with data types",
author = "Katoen, {Joost P.} and {van de Pol}, Jaco and Mari{\"e}lle Stoelinga and Mark Timmer",
year = "2009",
month = "11",
day = "5",
language = "English",
note = "5th Scientific ICT Research Event Netherlands, SIREN 2009, SIREN 2009 ; Conference date: 05-11-2009 Through 05-11-2009",

}

Katoen, JP, van de Pol, J, Stoelinga, M & Timmer, M 2009, 'Probabilistic specifications with data types' 5th Scientific ICT Research Event Netherlands, SIREN 2009, Enschede, Netherlands, 5/11/09 - 5/11/09, .

Probabilistic specifications with data types. / Katoen, Joost P.; van de Pol, Jaco ; Stoelinga, Mariëlle; Timmer, Mark .

2009. Poster session presented at 5th Scientific ICT Research Event Netherlands, SIREN 2009, Enschede, Netherlands.

Research output: Contribution to conferencePosterOther research output

TY - CONF

T1 - Probabilistic specifications with data types

AU - Katoen, Joost P.

AU - van de Pol, Jaco

AU - Stoelinga, Mariëlle

AU - Timmer, Mark

PY - 2009/11/5

Y1 - 2009/11/5

M3 - Poster

ER -

Katoen JP, van de Pol J, Stoelinga M, Timmer M. Probabilistic specifications with data types. 2009. Poster session presented at 5th Scientific ICT Research Event Netherlands, SIREN 2009, Enschede, Netherlands.