Exploring the scope for partial order reduction

Antti Valmari (Speaker)

    Activity: Talk or presentationConference presentation

    Period2009
    Event titleAutomated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings. LNCS
    Event typeConference

    Country of activity

    • China

    Publication forum classification

    • No publication forum level