Exploring the scope for partial order reduction

    Aktiviteetti: Konferenssiesitelmä

    Aikajakso2009
    Tapahtuman otsikkoAutomated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings. LNCS
    Tapahtuman tyyppiConference

    Country of activity

    • Kiina

    Publication forum classification

    • Ei tasoa

    Asiakirjat ja linkit