R. Hale
发表
ToolRachel Cardell-Oliver,
R. Hale,
1995
.
ToolRachel Cardell-Oliver,
R. Hale,
1995
.
M. Manjunathaiah,
Hussein Zedan,
Antonio Cau,
2002,
Des. Autom. Embed. Syst..
John Herbert,
Jifeng He,
Jonathan P. Bowen,
1995
.
David Milward,
William Hayes,
James Thomas,
2005,
Comparative and functional genomics.
Ben C. Moszkowski,
Roger Hale,
R. Hale,
1987,
PARLE.
Carl Hewitt,
Brian Cantwell Smith,
Irene Greif,
1974,
Symposium on Programming.
R. Hale,
1994
.
Roger Hale,
R. Hale,
1987
.
Roger Hale,
R. Hale,
1987,
Temporal Logic in Specification.