Henri B. Weinberg

	1996
4		Henri B. Weinberg, Nancy A. Lynch: Correctness of vehicle control systems-a case study. IEEE Real-Time Systems Symposium 1996: 62-72
	1995
3		Henri B. Weinberg, Nancy A. Lynch, Norman M. Delisle: Verification of Automated Vehicle Protection Systems. Hybrid Systems 1995: 101-113
2		Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager, Henri B. Weinberg: Hybrid I/O Automata. Hybrid Systems 1995: 496-510
	1992
1		Henri B. Weinberg, Lenore D. Zuck: Timed Ethernet: Real-Time Formal Specification of Ethernet. CONCUR 1992: 370-385

Coauthor Index

1	Norman M. Delisle	[3]
2	Nancy A. Lynch	[2] [3] [4]
3	Roberto Segala	[2]
4	Frits W. Vaandrager	[2]
5	Lenore D. Zuck	[1]