Samit Khosla
发表
Samit Khosla,
1989
.
Adrian Walker,
Ralph Hodgson,
William Kent,
1990,
DS-4.
T. S. E. Maibaum,
M. R. Sadler,
Samit Khosla,
1985,
FSTTCS.
T. S. E. Maibaum,
M. R. Sadler,
Samit Khosla,
1985,
DS-1.
William Kent,
Samit Khosla,
Robert A. Meersman,
1991
.
T. S. E. Maibaum,
Samit Khosla,
T. Maibaum,
1987,
Temporal Logic in Specification.