Specification and verification of temporal relationships in transaction modeling (1990)

by A H H Ngu
Venue:Information Systems