Irina Virbitskaite. Observing Some Properties of Event Structures. In Dines Bjørner, Manfred Broy, Igor V. Pottosin, editors, Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings. Volume 735 of Lecture Notes in Computer Science, pages 239-250, Springer, 1993.
No references recorded for this publication.
No citations of this publication recorded.