Send email Copy Email Address
PhD Student

Shyam Lal Karra

Email

Address

Kaiserstraße 21
66386 St. Ingbert (Germany)

Member of Groups

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