A Linear Temporal Logic Approach to Objects with Transactions (1997)

Cached

Download Links

by Grit Denker , Jaime Ramos , Carlos Caleiro , Amílcar Sernadas
Citations:5 - 2 self