Alexander Grünhage

Author Info

Publications (2 rows)

Collaborators (6 rows)

Referers (8 rows)

Referees (69 rows)

Title	Citations	PageRank	Year
Scalable and Optimized Hybrid Verification of Embedded Software	2	0.38	2015
Optimized Static Parameter Assignment for Semiformal Software Verification.	1	0.36	2012