Frowin Ziegler

Publication Activity (10 Years)

Years Active: 2015-2015
Publications (10 Years): 0

Top Topics

Hardware Designs

Concurrent Programs

Asynchronous Circuits

Top Venues

Publications

Franck Cassez, Frowin Ziegler
Verification of Concurrent Programs Using Trace Abstraction Refinement. LPAR (2015)