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

Archived Design Steps in Temporal Logic

  • Pertti Ilmari Kellomäki (Speaker)

    Aktiviteetti: Konferenssiesitelmä

    Aikajakso1999
    Tapahtuman otsikkoFM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, Sept. 20-24, 1999, Proceedings
    Tapahtuman tyyppiConference

    Country of activity

    • Ranska

    Publication forum classification

    • Ei tasoa