Abstract Object Types: A Temporal Perspective

Amílcar Sernadas, José Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich. Abstract Object Types: A Temporal Perspective. In Behnam Banieqbal, Howard Barringer, Amir Pnueli, editors, Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings. Volume 398 of Lecture Notes in Computer Science, pages 324-350, Springer, 1987.

Authors

Amílcar Sernadas

This author has not been identified. Look up 'Amílcar Sernadas' in Google

José Luiz Fiadeiro

This author has not been identified. Look up 'José Luiz Fiadeiro' in Google

Cristina Sernadas

This author has not been identified. Look up 'Cristina Sernadas' in Google

Hans-Dieter Ehrich

This author has not been identified. Look up 'Hans-Dieter Ehrich' in Google