dblp.uni-trier.dewww.uni-trier.de

Jeff Turner

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)