Luka Leroux

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 2

Top Topics

Reachability Analysis

Asynchronous Circuits

Reactive Systems

Temporal Properties

Top Venues

Softw. Test. Verification Reliab.

Int. J. Softw. Tools Technol. Transf.

Adv. Softw. Eng.

Publications