Abstract State Machines, Alloy, B, TLA, VDM, and Z
6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
Page
%P
8 Result(s)
within
Conference Proceedings
**o Son
Mathematical Logic and Formal Languages
-
Book and Conference Proceedings
-
Book and Conference Proceedings
Engineering Multi-Agent Systems
5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers
-
Book and Conference Proceedings
Rough Sets
International Joint Conference, IJCRS 2018, Quy Nhon, Vietnam, August 20-24, 2018, Proceedings
-
Book and Conference Proceedings
PRIMA 2016: Principles and Practice of Multi-Agent Systems
19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings
-
Book and Conference Proceedings
Computational Logic in Multi-Agent Systems
14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings
-
Book and Conference Proceedings
Logic Programming and Nonmonotonic Reasoning
12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
-
Book and Conference Proceedings
Rough Sets and Knowledge Technology
7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012. Proceedings
-
Book and Conference Proceedings
Rough Sets and Current Trends in Computing
5th International Conference, RSCTC 2006 Kobe, Japan, November 6-8, 2006 Proceedings
