Skip to content

Traceability and completeness checking for agent-oriented systems.

Gilberto A. Cysneiros Filho, Andrea Zisman

Year2008
ProceedingsSAC

Browse the full SAC paper archive.