How to cite this item

Item: uuid:a06e90c7-9ca1-45df-ad37-e99bdbf75b78 (Coq formalisation of Consistent Consequence for Boolean Equation Systems).
Recommended ways to cite this item, and the html code to paste into your own document.

Citation style Datacitenew window

Van Delft, M.E.C. (Myrthe); Geuvers, J.H. (Herman); Willemse, T.A.C. (Tim) (2017) Coq formalisation of Consistent Consequence for Boolean Equation Systems. TU Eindhoven. Dataset. https://doi.org/10.4121/uuid:a06e90c7-9ca1-45df-ad37-e99bdbf75b78
select html code to copy

Short link

select html code to copy

More...

Metadata formats: Dublin Core (in Didl), AOI/ORE (rdf), Datacite
Provided by Datacite: new windowmore citation styles and metadata formats
◄ back to "Coq formalisation of Consistent Consequence for Boolean Equation Systems"