01385nam--2200397---450-99000177012020331620040618102121.03-540-00624-9000177012USA01000177012(ALEPH)000177012USA0100017701220040618d2003----km-y0itay0103----baengDEa|||||||001yyAbstract state machines 2003advances in theory and practice10th international workshop, ASM 2003Taormina, Italy, march 2003proceedingsEgon Börger, Angelo Gargantini, Elvinia Riccobene (eds.)Berlin [etc.]Springercopyr. 2003XI, 424 p.ill.24 cm.Lecture notes in computer science25892001Lecture notes in computer science25892001001-------2001BÖRGER,EgonGARGANTINI,AngeloRICCOBENE,ElviniaInternational workshop on astract state machines <10. ; 2003 ; Taormina>563289ITsalbcISBD990001770120203316001 LNCS 258929448/CBS001 LNCS00113963BKSCIRIVELLI9020040618USA011021PATRY9020061003USA011548Abstract state machines 2003951956UNISA