PAYMENT DETAILS

  • Order Details
    1
  • Confirm
    2

Order Details

Are you one of the authors of this manuscript?
No. of Copies
 
(minmum 25 copies)

Billing and Shipping Addresses

Billing Address

Payer Name
Email
Phone
Address
City
Country
Tax/Customs info
(e.g. 'CPF/CNPJ', 'RUT','EORI', or 'NPWP')

Shipping Address

Attention of
Email
Phone
Address
(P.O. Box is not allowed)
City
Country

Note: if you do not confirm your information in step 2, your information will not be saved.

List of Authors

  • Wilayat Khan
  • Abdelouahid Derhab
  • Adi Alhudhaif

Article Details

Journal Title
Complexity
Volume
2021
Article Title
CoCEC: An Automatic Combinational Circuit Equivalence Checker Based on the Interactive Theorem Prover
List of Authors
  • Wilayat Khan(ORCID ID: https://orcid.org/0000-0003-0993-5964)
  • Abdelouahid Derhab(ORCID ID: https://orcid.org/0000-0002-6498-1528)
  • Adi Alhudhaif(ORCID ID: https://orcid.org/0000-0002-7201-6963)
Article ID
5525539
Article Type
Research Article
No. of Pages
12 Pages
Corresponding Author
Farrukh Aslam Khan
Additional Authors

Invoice Details

Invoice Issue Date
19 April 2024
Type of Reprints
Colored, Covered
Invoice Ref. No.
Terms
Payable upon Receipt

Charges

No. of Copies
Reprints Charges
0.00
Total
$