Login / Signup
Luigi Rucher
Publication Activity (10 Years)
Years Active: 2019-2021
Publications (10 Years): 4
Top Topics
Linear Time Temporal Logic
Formal Specification
Model Checker
Highly Parallel
Top Venues
Formal Aspects Comput.
SAFECOMP Workshops
RSSRail
ISORC
</>
Publications
</>