Original language | English |
---|---|
Pages (from-to) | 117-133 |
Number of pages | 17 |
Journal | Bulletin of the European Association of Theoretical Computer Science |
Issue number | 40 |
Publication status | Published - 1990 |
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 journal › Article › peer-review