Home › Biblio

Biblio

Export 1 results:
Sort by: Author Keyword Title Type [ Year (Desc)]
Filters: Author is Ramos, J.  [Clear All Filters]
1997
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