01361nam--2200349---450-99000300201020331620071030112610.03-540-25333-5000300201USA01000300201(ALEPH)000300201USA0100030020120071030d2005----km-y0itay0103----baengDEa|||||||001yyTools and algorithms for the construction and analysis of systems11th International Conference, TACAS 2005held as part of the joint european conferenceson theory and practice of software, ETAPS 2005Edinburgh, UK, April 4-8, 2005proceedingsNicolas Halbwachs, Lenore S. Zuck(eds.)Berlin [etc.]Springer[c2005]XVI, 506 p.ill.24 cmLecture notes in computer science34402001Lecture notes in computer science3440HERMANNS,HolgerPALSBERG,JensInternational Conference, TACAS 2005<11. ;2005 ;Edinburgh>598999ITsalbcISBD990003002010203316001 LNCS 344031869/CBS001 LNCS00112496SPSCISENATORE9020071030USA011126Tools and algorithms for the construction and analysis of systems1024031UNISA01165nam0 22003133i 450 AQ1010325520251003044044.0978144712899120130128d2012 ||||0itac50 baenggbz01i xxxe z01nSaturated switching systemsAbdellah BenzaouiaLondon [etc.]Springer2012XXIII, 286 p.23 cmLecture notes in control and information sciences426001MIL00191762001 Lecture notes in control and information sciences426629.8INGEGNERIA DEI CONTROLLI AUTOMATICI14629.8Ingegneria dei controlli automatici22Benzaouia, AbdellahAQ1V025193447673ITIT-00000020130128IT-BN0095 NAP 01SALA DING $AQ10103255Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 629.8 BEN.sa 0102 0000095615 VMA A4 1 v.Y 2013012820130128 01Saturated switching systems104550UNISANNIO