An Abstraction Refinement Technique for Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop
IEICE Transactions on Information and Systems, vol.E93-D, no.5, pp.994-1005 (2010)
タグ: abstraction, refinement, technique, timed, automata, counterexample-guided, abstraction, refinement, loop
@article{TakeshiNagaoka2010,
author = {Takeshi Nagaoka and Kozo Okano and Shinji Kusumoto},
title = {An Abstraction Refinement Technique for Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop},
journal = {IEICE Transactions on Information and Systems},
volume = {E93-D},
number = {5},
pages = {994--1005},
year = {2010},
month = {may}
}