?
Proceedings of the International Conference on Formal Methods in Computer-Aided Design ,
7
Self-timing : a step beyond synchrony (tutorial talk):
, In:
?
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications ,
8
The sequential prison:
, In:
?
CHI '05 Extended Abstracts on Human Factors in Computing Systems ,
10