Skip to Main content Skip to Navigation
Conference papers

Reflecting BDDs in Coq

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-03207264
Contributor : Jean Goubault-Larrecq <>
Submitted on : Saturday, April 24, 2021 - 12:10:23 PM
Last modification on : Tuesday, April 27, 2021 - 1:32:02 PM

Identifiers

  • HAL Id : hal-03207264, version 1

Collections

Citation

Kumar Neeraj Verma, Jean Goubault-Larrecq, Sanjiva Prasad, S. Arun-Kumar. Reflecting BDDs in Coq. 6th Asian Computing Science Conference (ASIAN 2000), Nov 2000, Penang, Malaysia. pp.162-181. ⟨hal-03207264⟩

Share

Metrics

Record views

15