Unbounded Verification Resu|ts by Finite-State Compositional Techniques: 10 any States and Beyond

  • Antti Valmari (Speaker)

    Aktiviteetti: Konferenssiesitelmä

    Aikajakso1996
    Tapahtuman otsikkoWorkshop on Automated Formal Methods, Oxford University, 19-21 June, 1996
    Tapahtuman tyyppiConference

    Country of activity

    • Britannia

    Publication forum classification

    • Ei tasoa