Efficiently Checking the Determinism of AL Action Descriptions

Author(s):

• Balduccini, M. ( Texas Tech University, Lubbock, TX )
• Gelfond, M.

Publication title:

AIAA meeting papers on disc

Title of ser.:

AIAA Paper : AIAA Infotech@Aerospace Conference and Exhibit

Ser. no.:

2005

Pub. Year:

2005

No.:

2005-7003

Paper no.:

AIAA Paper 2005-7003

Pub. info.:

[Reston, Va.]: American Institute of Aeronautics and Astronautics

ISSN:

10877215

Language:

English

Call no.:

A07400/200520 [CD-ROM 2005 Disc 20]

Type:

Technical Paper