John A. Allen, Renuka Shankar. Checking the Correctness of Mission Plans. In ICTAI. pages 462-463, 1993.
@inproceedings{AllenS93,
title = {Checking the Correctness of Mission Plans},
author = {John A. Allen and Renuka Shankar},
year = {1993},
researchr = {https://researchr.org/publication/AllenS93},
cites = {0},
citedby = {0},
pages = {462-463},
booktitle = {ICTAI},
}