Author | Börger, Egon | dc.contributor.author |
Author | Riccobene, E. | dc.contributor.author |
Author | Schmid, Joachim | dc.contributor.author |
Date of accession | 2020-04-02T12:32:43Z | dc.date.accessioned |
Available in OPARU since | 2020-04-02T12:32:43Z | dc.date.available |
Date of first publication | 2000 | dc.date.issued |
Language | en | dc.language.iso |
Publisher | Universität Ulm | dc.publisher |
Dewey Decimal Group | DDC 000 / Computer science, information & general works | dc.subject.ddc |
Title | Capturing Requirements by Abstract State Machines: The Light Control Case Study | dc.title |
Resource type | Wissenschaftlicher Artikel | dc.type |
DCMI Type | Text | uulm.typeDCMI |
Category | Publikationsnachweise | uulm.category |
DOI (external) | 10.3217/jucs-006-07-0597 | dc.identifier.doiExternal |
Source - Title of source | Journal of Universal Computer Science | source.title |
Source - Place of publication | Springer | source.publisher |
Source - Volume | 6 | source.volume |
Source - Issue | 7 | source.issue |
Source - Year | 2000 | source.year |
Source - From page | 597 | source.fromPage |
Source - To page | 620 | source.toPage |
University Bibliography | nein | uulm.unibibliographie |