Automated Technology for Verification and Analysis

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Automated Technology for Verification and Analysis
 
Publisher Herausgeber
12971
 
Series Schriftenreihe
Lecture Notes in Computer Science
 

Publications Publikationen


Filter:
Author:  Grosu, Radu
Author:  Lukina, Anna
Author:  Tiwari, Ashish

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Tiwari, Ashish ; Smolka, Scott A. ; Esterle, Lukas ; Lukina, Anna ; Yang, Junxing ; Grosu, Radu Attacking the V: On the Resiliency of Adaptive-Horizon MPCKonferenzbeitrag Inproceedings 2017