Login / Signup
Jean-Michel Couvreur
Publication Activity (10 Years)
Years Active: 1989-2024
Publications (10 Years): 4
Top Topics
Model Checking
Temporal Logic
Verification Method
Search Strategies
Top Venues
CoRR
SIMPDA
SIMPDA (Revised Selected Papers)
VECoS
</>
Publications
</>