OCL Extended with Temporal Logic

Paul Ziemann, Martin Gogolla. OCL Extended with Temporal Logic. In Manfred Broy, Alexandre V. Zamulin, editors, Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers. Volume 2890 of Lecture Notes in Computer Science, pages 351-357, Springer, 2003. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.