Cut states and elusive actions: extended abstract

  • Antti Valmari (Invited lecturer)

    Activity: Talk or presentation › Invited lecture

    Period2007
    Event titleAVoCS'07 Seventh International Workshop on Automated Verification of Critical Systems, Oxford, UK, 10-12 September 2007
    Event typeConference

    Country of activity

    • United Kingdom

    Publication forum classification

    • No publication forum level