Specifying Distributed Information Systems: Fundamentals of an Object-Oriented Approach Using Distributed Temporal Logic (1997)

Cached

Download Links

by G. Denker , H.-D. Ehrich
Venue:Formal Methods for Open Object-Based Distributed Systems (FMOODS'97), Volume 2, IFIP TC6 WG6.1 Intern. Workshop
Citations:9 - 2 self