Keyword:specification

Papers
Verification on Valve Losses of LCC HVDC Converter Station in Korea Chur Hee Lee, Joo Sik Kwak and Seung Wan Kim EasyChair Preprint no. 4114
Cocktail II Michael Franssen In:WING 2010. Workshop on Invariant Generation 2010