Statistics
Publications
1
Citations
12
H-Index
1
Active since
2005
Affiliations
Andreas Schuhai is an author at Institute of Informatics of the Slovak Academy of Sciences specializing in model checking, verification environment, and system-level verification.
Publications per year
2005–2005
1
1