Formal Verification Analysis of Load-Voltage Power Control

Mark Moulin, Leonid Gluhovsky, Daniel Geist. Formal Verification Analysis of Load-Voltage Power Control. Intelligent Automation & Soft Computing, 12(1):23-30, 2006. [doi]

Abstract

Abstract is missing.