-
1
-
2
Generating optimal distinguishing sequences with a model checker.
Publicado en Software engineering notes.Artículo -
3
-
4
-
5
Fuzzy controller for wall-climbing microrobots.
Publicado en IEEE Transactions on fuzzy systemsArtículo -
6
A behavioral synthesis system for asynchronous circuits.
Publicado en IEEE Transactions on VLSI systemsArtículo -
7