KNOWLEDGE PROBLEMS IN PROTOCOL ANALYSIS: EXTENDING THE NOTION OF SUBTERM CONVERGENT.
Saved in:
| Title: | KNOWLEDGE PROBLEMS IN PROTOCOL ANALYSIS: EXTENDING THE NOTION OF SUBTERM CONVERGENT. |
|---|---|
| Authors: | BUNCH, CARTER1, SATTERFIELD, SARAID DWYER1, ERBATUR, SERDAR2, MARSHALL, ANDREW M.1, RINGEISSEN, CHRISTOPHE3 |
| Source: | Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 2, p1-26, 26p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
