Cover von Linking visual formalisms opens in new tab

Linking visual formalisms

a compositional proof system for statecharts based on symbolic timing diagrams
Author: Search for this author Helbig, Johannes
Statement of Responsibility: Johannes Helbig
Year: 1998
Publisher: Oldenburg, Universität
Series: Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik; 4/98
Media group: DISSERTATION
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: Diss. HELBIG JOHANNES Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Content

Oldenburg, Univ., Diss., 1997

Details

Author: Search for this author Helbig, Johannes
Statement of Responsibility: Johannes Helbig
Year: 1998
Publisher: Oldenburg, Universität
opens in new tab
Search for this systematic
Search for this subject type
Description: 271 S.
Series: Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik; 4/98
Search for this character
Media group: DISSERTATION