Dines Bjørner
发表
Dines Bjørner,
1994
.
Dines Bjørner,
D. Bjørner,
2018,
Symposium on Real-Time and Hybrid Systems.
Dines Bjørner,
D. Bjørner,
2005,
SEFM.
Dines Bjørner,
2006
.
Dines Bjørner,
D. Bjørner,
2003
.
Yasuhito Arimoto,
Dines Bjørner,
Xiaoyi Chen,
2007
.
Dines Bjørner,
2000
.
Dines Bjørner,
2003
.