Jeremy Bryans, John S. Fitzgerald, Cliff B. Jones, Igor Mozolevsky. Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. In Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006. pages 91-98, IEEE, 2006. [doi]
Abstract is missing.