Collaborated with:
W.Martin P.White A.Goldberg
Talks about:
construct (1) mathemat (1) kernel (1) formal (1) analyz (1) separ (1)
Person: F. S. Taylor
DBLP: Taylor:F=_S=
Contributed to:
Wrote 1 papers:
- ASE-2000-MartinWTG #kernel
- Formal Construction of the Mathematically Analyzed Separation Kernel (WM, PW, FST, AG), pp. 133–142.