Journal:IEEE Transactions on Power Systems Translation or Not:no Date of Publication:2013-02-01 Indexed by:期刊论文
Pre One:Reasoning about Higher-Order Relational Specifications