Real-Time Object Specification Logic

Klemens Böhm, Amílcar Sernadas. Real-Time Object Specification Logic. In DAISD. pages 159-173, 1993.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.