Mike Behrisch

MB

Statistics

Publications

4

Citations

67

H-Index

4

Active since

2013

Mike Behrisch is an author at Technische Universität Dresden specializing in formal methods.

Top concepts

Publications per year

2013–2016

4

Publications

4