Academic
Conferences
Temporal Logic in Specification

Temporal Logic in Specification,Software Engineering

Temporal Logic in Specification
Publications: 16| Citation Count: 386 (Self-Citation: 0)
Year Range: 1987-1989
Fields of study: Software Engineering
Cumulative Annual
Sort by: