𝔖 Bobbio Scriptorium

✦ LIBER ✦

Verification of Year 2000 conversion rules using the ACL2 theorem prover

✍ Scribed by Matt Kaufmann

Book ID: 105747609
Publisher: Springer
Year: 2000
Tongue: English
Weight: 146 KB
Volume: 3
Category: Article
ISSN: 1433-2779
DOI: 10.1007/pl00010807

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2000 International Conference on H

[IEEE 2000 International Conference on Harmonics and Quality of Power - Orlando, FL, USA (1-4 Oct. 2000)] Ninth International Conference on Harmonics and Quality of Power. Proceedings (Cat. No.00EX441) - Verification of the new concept in AC power theory using energy conversion medium

✍ Ghassemi, F. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 743 KB