A Linear Temporal Logic Approach to Objects with Transactions

• Authors:

• Grit Denker;Jaime Ramos;Carlos Caleiro;Amílcar Sernadas

• Affiliations:

• -;-;-;-

• Venue:
• AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
• Year:
• 1997