Modeling of Information Services on the Basis of ASM Semantics
Author: | Aleksander Binemann-Zdanowicz, Bernhard Thalheim |
---|---|
ISBN: | 3-540-00624-9 |
Title of the source (English): | Abstract state machines 2003, 10th international workshop, proceedings, Taormina, Italy, March 3 - 7, 2003 |
Publisher: | Springer |
Place of publication: | Berlin [u.a.] |
Document Type: | Conference Proceeding |
Language: | English |
Year of publication: | 2003 |
Tag: | abstract state machines |
First Page: | 408 |
Last Page: | 410 |
Series ; volume number: | Lecture Notes in Computer Science ; 2589 |
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Datenbank- und Informationssysteme |
Institution name at the time of publication: | Fakultät für Mathematik, Naturwissenschaften und Informatik (eBTU) / LS Datenbanken und Informationssysteme |