Probabilistic specifications with data types

Research output: Contribution to conference › Poster › Other research output

53 Downloads (Pure)

Original language	English
Number of pages	1
Publication status	Published - 5 Nov 2009
Event	5th Scientific ICT Research Event Netherlands, SIREN 2009 - University of Twente, Enschede, Netherlands Duration: 5 Nov 2009 → 5 Nov 2009 Conference number: 5

Conference	5th Scientific ICT Research Event Netherlands, SIREN 2009
Abbreviated title	SIREN 2009
Country/Territory	Netherlands
City	Enschede
Period	5/11/09 → 5/11/09

Access to Document

@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 = nov,

day = "5",

language = "English",

note = "5th Scientific ICT Research Event Netherlands, SIREN 2009, SIREN 2009 ; Conference date: 05-11-2009 Through 05-11-2009",

}