New Results on Timed Specifications

Timothy Bourke, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Didier Lime, Ulrik Mathias Nyman, Andrzej Wasowski

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftKonferenceartikelForskningpeer review

    OriginalsprogEngelsk
    BogserieLecture Notes in Computer Science
    Vol/bind7137
    Sider (fra-til)175
    Antal sider192
    ISSN0302-9743
    DOI
    StatusUdgivet - 2012

    Citationsformater