Specifying real-time systems with interval logic
An edition of Specifying real-time systems with interval logic (1988)
By John Rushby
Publish Date
1988
Publisher
National Aeronautics and Space Administration, Langley Research Center,National Technical Information Service, distributor
Language
eng
Pages
-
1-2 of 2 Editions
Specifying real-time systems with interval logic
Language: eng
Published In: 1988
Publisher: National Aeronautics and Space Administration, Langley Research Center, National Technical Information Service, distributor
Specifying real-time systems with interval logic
Language: eng
Published In: 1988
Publisher: National Aeronautics and Space Administration, Langley Research Center, National Technical Information Service, distributor