Normal view
MARC view
FORTE 2010 (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) 38965, Formal techniques for distributed systems :, 2010.