Gary Hartmann

	2003
1		Samar Dajani-Brown, Darren D. Cofer, Gary Hartmann, Steve Pratt: Formal Modeling and Analysis of an Avionics Triplex Sensor Voter. SPIN 2003: 34-48

Coauthor Index

1	Darren D. Cofer	[1]
2	Samar Dajani-Brown	[1]
3	Steve Pratt	[1]