Automata-Based Abstraction Refinement for HORS Model Checking.

Naoki Kobayashi, Xin Li

Browse the full LICS paper archive.