Symbolic analysis of switch-level circuits.

Tesis doctoral de LLuis Ribas Xirgo La verificacion de circuitos mediante tecnicas simbolicas permite reducir el numero de pasos hacia […]

, , , , ,