paper
referenced-only
paper:zave-secrets-of-call-forwarding-a-specificati-1995

Secrets of Call Forwarding: A Specification Case Study

External IDs

title_hash
c18f29ae9c7525fb98a02e3e69839f2b47f5beb3
legacy_slug
zave-secrets-of-call-forwarding-a-specificati-1995
Frontmatter (8 fields)
{
  "doi": null,
  "year": 1995,
  "title": "Secrets of Call Forwarding: A Specification Case Study",
  "venue": "Formal Techniques for Networked and Distributed Systems (FORTE)",
  "authors": [
    "Pamela Zave"
  ],
  "arxiv_id": null,
  "s2_paper_id": null,
  "ingest_status": "referenced-only"
}

Outgoing (0)

None.

Incoming (0)

None.

Cited by (1)