Books · Search
Computer simulation · Computers
Reachability Problems
2010
Logic design · Computer networks
Tools and Algorithms for the Construction and Analysis of Systems
2011
Computer networks · Wireless communication systems
Networked Systems
2016
Systolic array circuits
Decision problems in systolic circuit verification
1990