TY - CONF A1 - Binemann-Zdanowicz, Aleksander A1 - Thalheim, Bernhard T1 - Modeling of Information Services on the Basis of ASM Semantics T2 - Abstract state machines 2003, 10th international workshop, proceedings, Taormina, Italy, March 3 - 7, 2003 KW - abstract state machines Y1 - 2003 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/1424 SN - 3-540-00624-9 SP - 408 EP - 410 PB - Springer CY - Berlin [u.a.] ER -