Statistics
Publications
39
Citations
1.8K
H-Index
22
Active since
2001
Franjo Ivančić is an author at Princeton University specializing in computer science, computing, and model checking.
Publications per year
2001–2019
39
39
Hierarchical modeling and analysis of embedded systems
Rajeev Alur, Thao Dang, J.M. Esposito et al. · Proceedings of the IEEE · 2003 · 171 citations · Full text
1–5 of 39