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

  • Antti Valmari (Speaker)

    Activity: Talk or presentationConference presentation

    Period1996
    Event titleWorkshop on Automated Formal Methods, Oxford University, 19-21 June, 1996
    Event typeConference

    Country of activity

    • United Kingdom

    Publication forum classification

    • No publication forum level