To search, Click below search items. |
| All Published Papers Search Service |
|
|
|
Title |
|
|
Author |
|
| Citation |
Vol. 8 No. 9 pp. 327-331 |
|
Keywords |
Discrete systems, state spaces, sequent automaton, concurrency, deadlocks, verification. |
