01546nam2-2200409---450-99000314722020331620080929101257.0978-3-540-75220-2000314722USA01000314722(ALEPH)000314722USA0100031472220080919d2007----km-y0itay50------baengDEa---||||001yyFormal methods and hybrid real-time systemsessays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays[symposium held September 24-25, 2007 in Macao, China]Cliff B. Jones, Zhiming Liu, Jim Woodcock (Eds.)Berlin [etc.]Springer 2007copyr. 2007XVI, 538 p.ill.24 cmLecture notes in computer scienceFestschrift47002001Lecture notes in computer science0010003149602001Lecture notes in computer scienceElaborazione in tempo realeCongressiMacao2007004.33JONES,Cliff B.LIU,ZhimingWOODCOCK,Jim[Symposium held September 24-25, 2007 in Macao, China]<2007;Macao>602163ITsalbcISBD990003147220203316001 LNCS 470035422/CBS00100216628BKSCICBAS1020080919USA011031CBAS1020080929USA011012Formal methods and hybrid real-time systems1018464UNISA