Login / Signup
Christan Müller
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Fixed Point
Formal Verification
Transition Systems
Model Checker
Top Venues
SAS
</>
Publications
</>
Christan Müller
,
Helmut Seidl
Stratified Guarded First-Order Transition Systems.
SAS
(2020)