1994 | ||
---|---|---|
2 | Todd Carpenter, Kevin Driscoll, Ken Hoyme, Jim Carciofini: ARINC 659 Scheduling: Problem Definition. IEEE Real-Time Systems Symposium 1994: 165-169 | |
1992 | ||
1 | Robert Schrag, Mark Boday, Jim Carciofini: Managing Disjunction for Practical Temporal Reasoning. KR 1992: 36-46 |
1 | Mark Boday | [1] |
2 | Todd Carpenter | [2] |
3 | Kevin Driscoll | [2] |
4 | Ken Hoyme | [2] |
5 | Robert Schrag | [1] |