Personensuche
X
?
Proceedings of the 2009 Asia and South Pacific Design Automation Conference ,
10
Complete-k-distinguishability for retiming and resynthesis ..:
, In:
?
Proceedings of the 8th ACM international conference on Embedded software ,
11
State space abstraction for parameterized self-stabilizing ..:
, In:
?
Proceedings of the conference on Design, automation and test in Europe - Volume 2 ,
12