Normal view
MARC view
International Conference on Formal Description Techniques (31st : 2011 : Reykjavik, Iceland) (Meeting Name)
Machine generated authority record.
Work cat.: ()946036: International Conference on Formal Methods for Open Object-Based Distributed Systems (13th : 2011 : Reykjavik, Iceland) 1038959, Formal Techniques for Distributed Systems, 2011.
