More efficient on-the-fly LTL verification with Tarjan's algorithm
Jaco Geldenhuys, Antti ValmariVolume:
345
Year:
2005
Language:
english
Pages:
23
DOI:
10.1016/j.tcs.2005.07.004
File:
PDF, 270 KB
english, 2005