![]() | ![]() |
| 1984 | ||
|---|---|---|
| 1 | Dennis Shasha, Amir Pnueli, W. Ewald: Temporal Verification of Carrier-Sense Local Area Network Protocols. POPL 1984: 54-65 | |
| 1 | Amir Pnueli | [1] |
| 2 | Dennis Shasha (Dennis E. Shasha) | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page