Cover von Time, abstraction and heuristics opens in new tab

Time, abstraction and heuristics

automatic verification and planning of timed systems using abstraction and heuristics
Author: Search for this author Dierks, Henning
Statement of Responsibility: Henning Dierks
Year: 2006
Publisher: Oldenburg, Universität
Series: Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik; 01-06
Media group: DISSERTATION
available

Copies

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

Content

Oldenburg, Univ., Habil-Schr., 2005

Details

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