Tomas Hruska, Petr Kolencik, Michal Mácel. Behavioral Safety in a Model With Multiple Class Objects. In Branislav Rovan, editor, SOFSEM 98: Theory and Practice of Informatics, 25th Conference on Current Trends in Theory and Practice of Informatics, Jasná, Slovakia, November 21-27, 1998, Proceedings. Volume 1521 of Lecture Notes in Computer Science, pages 360-370, Springer, 1998. [doi]
Abstract is missing.