Author:
Raffelsieper Matthias,Roorda Jan-Willem,Mousavi MohammadReza
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Quantitative Characterization of Reconfigurable Transistor Logic Gates;IEEE Access;2020
2. Formal Verification Methods;Encyclopedia of Information Science and Technology, Third Edition;2015
3. AUTOMATED DEBUGGING OF VERILOG DESIGNS;International Journal of Software Engineering and Knowledge Engineering;2012-08
4. Long-run order-independence of vector-based transition systems;IET Computers & Digital Techniques;2011