Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Adrian
    Last name: Danis
    DBLP: 128/5743
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 1 of 1  
    Select a publication
    Show Title Venue Rating Date PDF
    Conference paper
    Gernot Heiser, Etienne Le Sueur, Adrian Danis, Aleksander Budzynowski, Tudor-Ioan Salomie, Gustavo Alonso.
    RapiLog: reducing system complexity through verification.
    Eighth Eurosys Conference 2013, EuroSys '13, Prague, Czech Republic, April 14-17, 2013 2013 (0) 2013 Download
    Show item 1 to 1 of 1  

    Your query returned 1 matches in the database.