Canyam
AI summaries for academic research
Home
Preprint
Subscribe
Favorites
Tools
Analysis
Summary
Not logged in
Back
F
Frohn, Florian
rwth aachen university
0
H-index
1
Paper Count
0
Citation Count
0
Related Insights
Subscribe
Published Papers
1
Publication Date
Publication Date
Impact Factor
Citations
Accelerated bounded model checking with LoAT
Science of Computer Programming
IF
1.4
2026-08-01
0
PRE
AI
Frohn, Florian; Giesl, Jurgen
Share
Save
Research Directions
No research directions
Co-authors
Cooperation Journals
J
Jürgen Giesl
H-index: 36 · Papers: 213
All loaded
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
Share.png){kind=icon}
SaveShareSaveShareSave
Not logged in.png){kind=icon}
ShareSaveNot logged inShareSave