Publications

Articles

International Conferences: 1

2019

- José Leitão and Ricardo Chaves and Marcelino Bicho dos Santos, Applying Model Checking in the Verification of a Clock Masking Unit, presented at Conference on Design of Circuits and Integrated Systems (DCIS), Nov. 2019 [bibTex]