Cover von Synthesis for regular specifications over unbounded domains opens in new tab

Synthesis for regular specifications over unbounded domains

article pp. 101-109 : FMCAD 2010, Formal Methods in Computer-Aided Design 2010
Author: Search for this author Hamza, Jad; Jobstmann, Barbara; Kunčak, Viktor
Statement of Responsibility: Jad Hamza ; Barbara Jobstmann ; Viktor Kunčak
Year: 2010
Publisher: Los Alamitos, IEEE
Media group: ARTICLE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: HAMZA JAD Location 2: 2nd FLOOR Location 3: DAGSTUHL IMPACTS Status: reference collection

Details

Author: Search for this author Hamza, Jad; Jobstmann, Barbara; Kunčak, Viktor
Statement of Responsibility: Jad Hamza ; Barbara Jobstmann ; Viktor Kunčak
Year: 2010
Publisher: Los Alamitos, IEEE
Works included: Dagstuhl Seminar 09501
opens in new tab
Search for this systematic
Search for this subject type
Description: pp. 101-109
Search for this character
Media group: ARTICLE