01300nam2-2200373---450-99000316158020331620081017092243.0978-3-540-87602-1000316158USA01000316158(ALEPH)000316158USA0100031615820081017d2008----km-y0itay0103----baengDE||||||||001yyAbstract state machines, B and Zfirst international conference, ABZ 2008London, UK, September 16-18, 2008proceedingsEgon Börger... [et al.] (Eds.)BerlinSpringer-Verlagcopyr. 2008XII, 382 p.ill.24 cmLecture notes in computer science52382001Lecture notes in computer science0010003149602001Lecture notes in computer scienceTeoria della macchinaCongressiLondon2008511.321BÖRGER,EgonInternational conference, ABZ 2008<1.;2008;London>602507ITsalbcISBD990003161580203316001 LNCS 523837507/cbs00100217752BKSCICBAS1020081017USA010922Abstract state machines, B and Z1017710UNISA