Probabilistic specifications with data types

    Research output: Contribution to conferencePoster

    11 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.