Normal view
MARC view
Dingel, Juergen (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): International Conference on Formal Methods for Open Object-Based Distributed Systems (13th : 2011 : Reykjavík, Iceland) 41973, Formal techniques for distributed systems :, 2011.