.gif)
] Filters: Author is Ramos, J. [Clear All Filters]
"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