Formal Methods in System Design

View Statistics Email Alert RSS Feed

Journal description

Title Titel
Formal Methods in System Design
 
e-ISSN
1572-8102
 
ISSN
0925-9856
 
Publisher Herausgeber
SPRINGER
 
Publisher's Address Herausgeber Adresse
VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ
 
Listed in SCI Aufgelistet im SCI
 
Peer reviewed Begutachtet
 
 

Publications Publikationen

Filter:
Subject:  Hardware and Architecture
Date Issued:  [2020 TO 2022]

Results 1-4 of 4 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Chockler, Hana ; Weissenbacher, Georg Preface of the special issue on the conference on computer-aided verification 2018Artikel Article2021
2Stewart, Daryl ; Weissenbacher, Georg Preface of the Special Issue on the Conference on Formal Methods in Computer-Aided Design 2017Artikel Article2020
3Pani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian Rely-guarantee bound analysis of parameterized concurrent shared-memory programsArtikel Article 2021
4Bloem, Roderick ; Braud-Santoni, Nicolas ; Hadzic, Vedad ; Egly, Uwe ; Lonsing, Florian ; Seidl, Martina Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternationsArtikel Article 2021