Stuttering-Insensitive Automata for On-the-fly Detection of Livelock Properties
Henri Hansen, Wojciech Penczek, Antti ValmariVolume:
66
Year:
2002
Language:
english
Pages:
16
DOI:
10.1016/s1571-0661(04)80411-0
File:
PDF, 187 KB
english, 2002