01373nam--2200397---450-9900003384402033163-540-67959-60033844USA010033844(ALEPH)000033844USA01003384420010208d2000----km-y0itay0103----baengDE||||||||001yyAbstract state machinestheory and applicationsInternational workshop, ASM 2000Monte Verità, Switzerland, March 19-20, 2000proceedingsYuri Gurevich... <et al.> (eds.)BerlinoSpringer-Verlagc2000X, 379 p.ill.20 cmLecture notes in computer science19122001Lecture notes in computer science1912001-------2001Teoria della macchinaCongressi2000CongressiMonte Verità2000511.321GUREVICH,YuriInternational workshop ASM <2000; Monte Verità, Svizzera>542938ITsalbcISBD990000338440203316001 LNCS (1912)CBS 0025845001 LNCS00103493BKSCIPATTY9020010208USA01134620020403USA011641PATRY9020040406USA011624Abstract state machines877923UNISA