| |
| 2008 | ||
|---|---|---|
| 1 | EE | Yoshifumi Yuasa, Yoshinori Tanabe, Toshifusa Sekizawa, Koichi Takahashi: Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic. VSTTE 2008: 115-129 |
| 1 | Toshifusa Sekizawa | [1] |
| 2 | Koichi Takahashi | [1] |
| 3 | Yoshinori Tanabe | [1] |