Work

Software for Analytical Development of Communications Protocols

Year: 1990

Type: article

Source: AT&T Technical Journal

DOI: 10.1002/j.1538-7305.1990.tb00102.x

Authors: Zvi Har'El, Robert P. Kurshan

Institution: AT&T (United States)

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2156226967

FWCI: 8.508

Cites: 14

Cited by: 98

Related to: 10