Temporal logic for real-time systems : Jonathan S. Ostroff

Leo Motus. Temporal logic for real-time systems : Jonathan S. Ostroff. Automatica, 28(6):1288-1289, 1992. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.