Send email Copy Email Address
PhD Student

Shyam Lal Karra

Email

Address

Kaiserstraße 21
66386 St. Ingbert (Germany)

Member of Groups

Further Information

Publications by Shyam Lal Karra

Year 2024

2024-01-20

Parameterized Verification of Disjunctive Timed Networks.

Conference / Medium

Symposium on Principles of Programming Languages (POPL)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page