A Temporal Logic Approach to Object Certification (1996)

Cached

Download Links

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