FORMAL VERIFICATION OF PROPERTIES OF DIGITAL SYSTEMS USING AN AUTOMATED REASONING SYSTEM. FORMAL VERIFICATION OF PROPERTIES OF DIGITAL SYSTEMS USING AN AUTOMATED REASONING SYSTEM.
Data source
Japan Atomic Energy Agency's Library Catalog
A search system for the collections of the Japan Atomic Energy Agency central library. Books, reports, meeting materials, magazines and dockets collected by the library are searchable.
Last updated
July 25, 2022