Michal Politi Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys1990
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, Mark B. Trakhtenbrot: STATEMATE: A Working Environment for the Development of Complex Reactive Systems. IEEE Trans. Software Eng. 16(4): 403-414 (1990)
1988
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring: STATEMATE; A Working Environment for the Development of Complex Reactive Systems. ICSE 1988: 396-406

Coauthor Index

1David Harel
[j1] [c1]
2Hagi Lachover
[j1] [c1]
3Amnon Naamad
[j1] [c1]
4Amir Pnueli
[j1] [c1]
5Rivi Sherman
[j1] [c1]
6Aharon Shtull-Trauring
[j1] [c1]
7Mark B. Trakhtenbrot
[j1]
Last update Fri May 24 12:42:03 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page