![]() | ![]() |
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 |
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] |