Mike Czech
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2012–2015
Best venue rank
B
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | FASE | Just Test What You Cannot Verify! | Mike Czech, Marie-Christine Jakobs, Heike Wehrheim |
| 2012 | ICFEM | Heuristic-Guided Abstraction Refinement for Concurrent Systems. | Nils Timm, Heike Wehrheim, Mike Czech |