Formal Verification of Coupled Transmission Lines using Theorem Proving.

Elif Deniz, Adnan Rashid, Sofine Tahar

Browse the full VECoS paper archive.