• Verification of Distributed Ob...

Treffer: Verification of Distributed Object-Based Systems

Title:
Verification of Distributed Object-Based Systems
International conference on formal methods for open object-based distributed systems
Authors:
Dotti, F. L., Foss, L., Ribeiro, L., dos Santos, O. M.
Source:
LECTURE NOTES IN COMPUTER SCIENCE. :261-275
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN050356103&indx=1&recIds=ETOCCN050356103
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings