Behavioral Safety in a Model With Multiple Class Objects

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]

Authors

Tomas Hruska

This author has not been identified. Look up 'Tomas Hruska' in Google

Petr Kolencik

This author has not been identified. Look up 'Petr Kolencik' in Google

Michal Mácel

This author has not been identified. Look up 'Michal Mácel' in Google