C. Daws
发表
Conrado Daws,
Marta Z. Kwiatkowska,
Gethin Norman,
2002,
International Journal on Software Tools for Technology Transfer.
M. Kwiatkowska,
G. Norman,
C. Daws,
2002
.
S. Yovine,
C. Daws,
A. Olivero,
2015
.
Stavros Tripakis,
Conrado Daws,
Sergio Yovine,
1996,
Hybrid Systems.
Stavros Tripakis,
Conrado Daws,
Sergio Yovine,
1998,
CAV.
C. Daws,
2004,
ICTAC.
Conrado Daws,
Piotr Kordy,
C. Daws,
2006,
FORMATS.
Stavros Tripakis,
Conrado Daws,
S. Tripakis,
1998,
TACAS.
Conrado Daws,
Sergio Yovine,
Alfredo Olivero,
1994,
FORTE.
Conrado Daws,
Sergio Yovine,
S. Yovine,
1995,
Proceedings 16th IEEE Real-Time Systems Symposium.