STAR (simple tool for automated reasoning)

tutorial guide and reference manual

By Cary C. Borchardt

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

Publish Date

1985

Publisher

National Aeronautics and Space Administration, Jet Propulsion Laboratory, California Institute of Technology,National Technical Information Service, distributor

Language

eng

Pages

Book Lists