Jeff Turner

	1997
2		Bryan Ford, Kevin Van Maren, Jay Lepreau, Stephen Clawson, Bart Robinson, Jeff Turner: The Flux OS Toolkit: Reusable Components for OS Implementation. Workshop on Hot Topics in Operating Systems 1997: 14-19
1		Patrick Tullmann, Jeff Turner, John McCorquodale, Jay Lepreau, Ajay Chitturi, Godmar Back: Formal Methods: A Practical Tool for OS Implementors. Workshop on Hot Topics in Operating Systems 1997: 20-25

Coauthor Index

1	Godmar Back	[1]
2	Ajay Chitturi	[1]
3	Stephen Clawson	[2]
4	Bryan Ford	[2]
5	Jay Lepreau	[1] [2]
6	Kevin Van Maren	[2]
7	John McCorquodale	[1]
8	Bart Robinson	[2]
9	Patrick Tullmann	[1]