Share Email Print

Proceedings Paper

Temporal consistency checking of natural language specifications
Author(s): Frank D. Anger; Rita V. Rodriguez; Frank O. Hadlock
Format Member Price Non-Member Price
PDF $14.40 $18.00
cover GOOD NEWS! Your organization subscribes to the SPIE Digital Library. You may be able to download this paper for free. Check Access

Paper Abstract

Abstract not available.

Paper Details

Date Published: 1 January 1990
PDF: 9 pages
Proc. SPIE 1293, Applications of Artificial Intelligence VIII, (1 January 1990); doi: 10.1117/12.21105
Show Author Affiliations
Frank D. Anger, Univ. of West Florida (United States)
Rita V. Rodriguez, Univ. of West Florida (United States)
Frank O. Hadlock, Tennessee Technological Univ. (United States)

Published in SPIE Proceedings Vol. 1293:
Applications of Artificial Intelligence VIII
Mohan M. Trivedi, Editor(s)

© SPIE. Terms of Use
Back to Top