Rigorous Graphical Modelling of Movement in Collective Adaptive Systems.

Book

Bibliographic Details
Title:	Rigorous Graphical Modelling of Movement in Collective Adaptive Systems.
Authors:	Zoń, N., Gilmore, S., Hillston, J.
Source:	Leveraging Applications of Formal Methods, Verification & Validation: Foundational Techniques; 2016, p674-688, 15p
DOI:	10.1007/978-3-319-47166-2_47
Database:	Complementary Index

Availability

Check for other full text
Open access version