1.

Conference Proceedings

Conference Proceedings
Halpern J. ; Moses Y.
Pub. info.: Logics and models of concurrent systems.  pp.459-476,  1985.  Berlin.  Springer-Verlag
Title of ser.: NATO ASI series. Series F, Computer and systems sciences
Ser. no.: 13
2.

Conference Proceedings

Conference Proceedings
Halpern J.
Pub. info.: Paramagnetic organometallic species in activation/selectivity, catalysis.  pp.423-433,  1989.  Dordrecht.  Kluwer
Title of ser.: NATO ASI series. Series C, Mathematical and physical sciences
Ser. no.: 257