Send email Copy Email Address
Placeholder
PhD Student

Niklas Metzger

Reliable Security Guarantees

Email

Address

Campus E1 1
66123 Saarbrücken (Germany)

Member of Groups

Further Information

Publications by Niklas Metzger

Year 2019

2019

Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems

Conference / Medium

ATVA

Tags
Reliable Security Guarantees
Authors
Download Visit Detail Page