Paper Info
Title
ARCH-COMP20 Category Report - Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking.
Year
DOI
Venue
2020
10.29007/bhwx
ARCH
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
7
Name
Order
Citations
PageRank
Lei Bu132.83
Alessandro Abate235.46
Dieky Adzkiya3358.29
Muhammad Syifa'ul Mufid401.35
Rajarshi Ray51615.32
Yuming Wu622.09
Enea Zaffanella763135.31