Cover von Verification of infinite-state systems opens in new tab

Verification of infinite-state systems

02.04. - 07.04.00, Seminar Nr. 00141
Search for this author
Year: 2000
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 271
Media group: DAGSTUHL-SEMINAR-REP
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: DSR 271 Location 2: ELECTRONIC EDITION Location 3: Status: reference collection

Details

Search for this author
Year: 2000
Publisher: Wadern-Dagstuhl, IBFI
opens in new tab
Search for this systematic
Search for this subject type
Series: Dagstuhl-Seminar-Report; 271
Participating parties: Search for this character Bouajjani, Ahmed; Esparza, Javier
Media group: DAGSTUHL-SEMINAR-REP