Logics for Specifying Concurrent Information Systems (1998)

Cached

Download Links

by Hans-Dieter Ehrich, Carlos Caleiro, et al.
Venue:LOGICS FOR DATABASES AND INFORMATION SYSTEMS
Citations:26 - 8 self