Specification and Analysis of Open-Ended Systems with CARMA

Lecture Notes in Computer Science - Agent Environments for Multi-Agent Systems IV ◽

10.1007/978-3-319-23850-0_7 ◽

2015 ◽

pp. 95-116 ◽

Author(s):

Jane Hillston ◽

Michele Loreti

Download Full-text