Probabilistic specifications with data types

    Research output: Contribution to conferencePosterOther research output

    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