Normal view
MARC view
International Conference on Formal Methods for Open Object-Based Distributed Systems (12th : 2010 : Amsterdam, Netherlands) (Meeting Name)
Machine generated authority record.
Work cat.: (AT-ISTA): International Conference on Formal Methods for Open Object-Based Distributed Systems (12th : 2010 : Amsterdam, Netherlands), Formal techniques for distributed systems :, 2010.