Siirry päänavigointiin Siirry hakuun Siirry pääsisältöön

Mechanical verification of Disco specifications

  • Pertti Ilmari Kellomäki (Speaker)

    Aktiviteetti: Konferenssiesitelmä

    Aikajakso1996
    Tapahtuman otsikkoIsraeli-Finnish Binational Symposium on Specification, Development, and Verification of Concurrent Systems, Coler-California Visitors Center The Technion, Haifa, January 7-9, 1996
    Tapahtuman tyyppiConference

    Country of activity

    • Israel

    Publication forum classification

    • Ei tasoa