Ulrich Stern
发表
David L. Dill,
Ulrich Stern,
1997,
CAV.
David L. Dill,
Ulrich Stern,
1996,
FORTE.
David L. Dill,
Ulrich Stern,
D. Dill,
1995,
CHARME.
Vitaly Shmatikov,
Ulrich Stern,
1998,
Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No.98TB100238).
David L. Dill,
Ulrich Stern,
D. Dill,
2001,
Formal Methods Syst. Des..
John C. Mitchell,
Ulrich Stern,
Mark Mitchell,
1997,
Proceedings. 1997 IEEE Symposium on Security and Privacy (Cat. No.97CB36097).
Ulrich Stern,
Ruo He,
Chung-Hui Yang,
2015,
Scientific Reports.
Ulrich Stern,
U. Stern,
1997
.
Vitaly Shmatikov,
John C. Mitchell,
Ulrich Stern,
1998,
USENIX Security Symposium.
Ulrich Stern,
Chung-Hui Yang,
Chung-Hui Yang,
2014,
Scientific Reports.
David L. Dill,
Ulrich Stern,
1995,
CHARME.
David L. Dill,
Ulrich Stern,
David Y. W. Park,
2000,
Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.
David L. Dill,
Ulrich Stern,
1996
.