A Temporal Logic Approach to Object Certification (1996)

View PDF

Download Links

by Amílcar Sernadas , Cristina Sernadas , Jaime Ramos
Venue:Data & Knowledge Engineering
Citations:16 - 8 self