Login / Signup

Equivalence-Based Abstraction Refinement for \mu HORS Model Checking.

Xin LiNaoki Kobayashi
Published in: ATVA (2016)
Keyphrases