[Lecture Notes in Computer Science] Computer Science Logic Volume 6247 || Exact Exploration and Hanging Algorithms
- 作者Dawar, Anuj; Veith, Helmut
- 文件大小222.94KB
- 发表时间2010
- DOI10.1007/978-3-642-15205-4_14
- 页码140-154
[IEEE 2003 IEEE Power Engineering Society General Meeting - Toronto, Ont., Canada (2003.07.17-2003.07.17)] 2003 IEEE Power Engineering Society General Meeting (IEEE Cat. No.03CH37491) - 2003 IEEE Power Engineering Society General Meeting2003
[IEEE 2003 IEEE Power Engineering Society General Meeting - Toronto, Ont., Canada (2003.07.17-2003.07.17)] 2003 IEEE Power Engineering Society General Meeting (IEEE Cat. No.03CH37491) - 2003 IEEE Power Engineering Society General Meeting2003
[IEEE 2003 IEEE Power Engineering Society General Meeting - Toronto, Ont., Canada (2003.07.17-2003.07.17)] 2003 IEEE Power Engineering Society General Meeting (IEEE Cat. No.03CH37491) - 2003 IEEE Power Engineering Society General Meeting2003
[IEEE 2003 IEEE Power Engineering Society General Meeting - Toronto, Ont., Canada (2003.07.17-2003.07.17)] 2003 IEEE Power Engineering Society General Meeting (IEEE Cat. No.03CH37491) - 2003 IEEE Power Engineering Society General Meeting (IEEE Cat. No.03CH37491)2003
[IEEE 2003 IEEE Power Engineering Society General Meeting - Toronto, Ont., Canada (13-17 July 2003)] 2003 IEEE Power Engineering Society General Meeting (IEEE Cat. No.03CH37491) - The future power engineering professorVittal, V. · 2003
[IEEE 2003 IEEE Power Engineering Society General Meeting - Toronto, Ont., Canada (2003.07.17-2003.07.17)] 2003 IEEE Power Engineering Society General Meeting (IEEE Cat. No.03CH37491) - Overview of power system stability concepts2003
[IEEE 2003 IEEE Power Engineering Society General Meeting - Toronto, Ont., Canada (13-17 July 2003)] 2003 IEEE Power Engineering Society General Meeting (IEEE Cat. No.03CH37491) - Power engineering senior design at Michigan Tech UniversityBohmann, L.J. · 2003
[IEEE 2003 IEEE Power Engineering Society General Meeting - Toronto, Ont., Canada (2003.07.17-2003.07.17)] 2003 IEEE Power Engineering Society General Meeting (IEEE Cat. No.03CH37491) - Field testing techniques for power system stabilizers2003