entries:
    Bendisposto2008a:
        type: InProceedings
        title: '{Validating Wireless Congestion Control and Realiability Protocols
            using ProB and Rodin}'
        year: '2008'
        pages: ''
        month: '8'
        booktitle: 'FMWS 2008: Workshop on Formal Methods for Wireless Systems'
        location: Toronto, ON, Canada
        author:
        -   first: Jens
            last: Bendisposto
        -   first: Michael
            last: Jastram
        -   first: Michael
            last: Leuschel
        -   first: Christian
            last: Lochert
        -   first: Björn
            last: Scheuermann
        -   first: Ingo
            last: Weigelt