111
Voted
COMPSAC
2005
IEEE
15 years 8 months ago
2005
IEEE
SLABS is a formal specification language designed for modular and composable specification of multi-agent systems. This paper reports our attempts to support SLABS at the level ...