Cut states and elusive actions: extended abstract

  • Antero Kangas (Invited lecturer)

    Aktiviteetti: Kutsuttu esitelmä

    Aikajakso2007
    Tapahtuman otsikkoAVoCS'07 Seventh International Workshop on Automated Verification of Critical Systems, Oxford, UK, 10-12 September 2007
    Tapahtuman tyyppiConference

    Country of activity

    • Britannia

    Publication forum classification

    • Ei tasoa