Cover von Specification and verification of polling real-time systems opens in new tab

Specification and verification of polling real-time systems

Author: Search for this author Dierks, Henning
Statement of Responsibility: Henning Dierks
Year: 2000
Publisher: Oldenburg, Univ.
Series: Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik; 1/2000
Media group: DISSERTATION
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: Diss. DIERKS HENNING Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Content

Oldenburg, Univ., Diss., 1999

Details

Author: Search for this author Dierks, Henning
Statement of Responsibility: Henning Dierks
Year: 2000
Publisher: Oldenburg, Univ.
opens in new tab
Search for this systematic
Search for this subject type
Description: XVI, 227 S.
Series: Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik; 1/2000
Search for this character
Media group: DISSERTATION