BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Singapore
1 × USA
Collaborated with:
Z.Galil D.Harel H.Lachover A.Pnueli M.Politi R.Sherman A.Shtull-Trauring
Talks about:
compress (1) reactiv (1) network (1) general (1) environ (1) develop (1) complex (1) system (1) statem (1) work (1)

Person: Amnon Naamad

DBLP DBLP: Naamad:Amnon

Contributed to:

ICSE 19881988
STOC 19791979

Wrote 2 papers:

ICSE-1988-HarelLNPPSS #development
STATEMATE; A Working Environment for the Development of Complex Reactive Systems (DH, HL, AN, AP, MP, RS, AST), pp. 396–406.
STOC-1979-GalilN #network
Network Flow and Generalized Path Compression (ZG, AN), pp. 13–26.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.