Export 1 results:
Sort by: Author Keyword Title [ Type  (Asc)] Year
Filters: Author is Ramos, J.  [Clear All Filters]
Conference Proceedings
Denker, G., J. Ramos, C. Caleiro, and A. Sernadas, "A Linear Temporal Logic Approach to Objects with Transactions", Sixth Int1 Conf1 on Algebraic Methodology and Software Technology, AMAST'97, 13-17 December 1997, Sydney, Australia: Springer, pp. 170-184, 1997. Abstract