Archived Design Steps in Temporal Logic

  • Tommi Mikkonen (Speaker)

    Activity: Talk or presentationConference presentation

    Period1999
    Event titleFM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, Sept. 20-24, 1999, Proceedings
    Event typeConference

    Country of activity

    • France

    Publication forum classification

    • No publication forum level