00897nam0-2200301---450-99000027601040332120091207192855.0000027601FED01000027601(Aleph)000027601FED0100002760120020821d1976----km-y0itay50------baengITa-------001yyLarge scale control problems in electric power systemsG. QuazzaRomaENEL197618 p.ill.30 cmRelazione di studio e ricercaENEL316Quazza,Giorgio13716ENEL<Ente nazionale per l'energia elettrica>ITUNINARICAUNIMARCBK99000027601040332104 007-2/316CIDINCHDINCHLarge scale control problems in electric power systems119787UNINA01824nam a2200385 i 450099100077617970753620020507173432.0990201s1991 us ||| | eng 0821865943 (AMS : alk. paper)0897913868 (ACM : alk. paper)b10755597-39ule_instLE01302134ExLDip.to Matematicaeng621.3815AMS 68-06AMS 68M15AMS 68Q05AMS 68Q60DIMACS workshop on computer-aided verification <1990 ; Center for discrete mathematics and theoretical computer science>534969Computer-aided verification '90 :proceedings of a DIMACS workshop, June 18-21, 1990 /E. M. Clarke, R. P. Kurshan, editorsProvidence, RI :American Mathematical Society ; Baltimore, Md : Association for Computing Machinery,c1991xii, 628 p. :ill. ;27 cmDIMACS series in discrete mathematics and theoretical computer science,1052-798 ;3"The DIMACS Workshop on Computer-Aided Verification was held at the Center for Discrete Mathematics and Theoretical Computer Science on June 18-21, 1990": T.p. verso.Includes bibliographical referencesComputerAided designCongressesDigital integrated circuits-Design and construction-Data processingCongressesClarke, Edmund M.Kurshan, R. P..b1075559723-02-1728-06-02991000776179707536LE013 68-XX CLA12 (1991)12013000111445le013-E0.00-l- 00000.i1084983x28-06-02Computer-aided verification '90911166UNISALENTOle01301-01-99ma -engus 01