![](/img/cover-not-exists.png)
[ACM Press the 5th International Workshop - Pittsburgh, PA, USA (2015.10.26-2015.10.26)] Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control - AGERE! 2015 - Jacco: more efficient model checking toolset for Java actor programs
Zakeriyan, Arvin, Khamespanah, Ehsan, Sirjani, Marjan, Khosravi, RamtinYear:
2015
Language:
english
DOI:
10.1145/2824815.2824819
File:
PDF, 449 KB
english, 2015