![]() | ![]() |
| 1989 | ||
|---|---|---|
| 1 | Harbans Kaur, James Brown Grier, Graham Campbell: A Specification and Verifiaction Tool for Communication Protocols. Great Lakes Computer Science Conference 1989: 234-241 | |
| 1 | Graham Campbell | [1] |
| 2 | Harbans Kaur | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page