- Record: found
- Abstract: not found
- Article: not found
Memory-efficient algorithms for the verification of temporal properties
October 1992
October 1992
Read this article at
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Abstract
Related collections
Most cited references6
- Record: found
- Abstract: not found
- Article: not found
Automated Validation of a Communications Protocol: the CCITT X.21 Recommendation
C. H. West, P. Zafiropulo (1978)
- Record: found
- Abstract: not found
- Article: not found
General Technique for Communications Protocol Validation
C. H. West (1978)
- Record: found
- Abstract: not found
- Book Chapter: not found
On the relation of programs and computations to models of temporal logic
Pierre Wolper (1989)