Cover von Effizientes symbolisches Model-Checking von Realzeitaspekten für VHDL opens in new tab

Effizientes symbolisches Model-Checking von Realzeitaspekten für VHDL

Author: Search for this author Herrmann, Ronald
Year: 1998
Publisher: Oldenburg, Universität
Media group: DISSERTATION
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: Diss. HERRMANN RONALD Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Content

Oldenburg, Univ., Diss.

Details

Author: Search for this author Herrmann, Ronald
Year: 1998
Publisher: Oldenburg, Universität
opens in new tab
Search for this systematic
Search for this subject type
Description: VIII, 321 S.
Search for this character
Media group: DISSERTATION