A Modal Specification Theory for Components with Data

Sebastian S. Bauer, Kim Guldstrand Larsen, Axel Legay, Ulrik Mathias Nyman, Andrzej Wasowski

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    OriginalsprogEngelsk
    TitelFormal Aspects of Component Software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
    Vol/bind7253
    ForlagSpringer VS
    Publikationsdato2012
    Sider61-78
    DOI
    StatusUdgivet - 2012
    NavnLecture Notes in Computer Science
    Vol/bind7253
    ISSN0302-9743

    Citationsformater