Formal Methods and Tools for the Development of Distributed and Real Time Systems: SPEC -- Esprit Project 3096 (Extended Abstract)

Willem Paul de Roever, Howard Barringer, Costas Courcoubetis, Dov Gabbay, Rob Gerth, Bengt Jonsson, Amir Pnueli, Mike Reed, Jan Vytopil, Pierre Wolper

    Research output: Contribution to journalArticlepeer-review

    Original languageEnglish
    Pages (from-to)117-133
    Number of pages17
    JournalBulletin of the European Association of Theoretical Computer Science
    Issue number40
    Publication statusPublished - 1990

    Cite this