Innovative Concepts for Autonomic and Agent-Based Systems: Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005. Revised Papers 2006 · ENGLISH · PDF View details →
Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings 2009 · ENGLISH · PDF View details →
Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings 2009 · ENGLISH · PDF View details →
Agent Technology from a Formal Perspective (NASA Monographs in Systems and Software Engineering) 2006 · ENGLISH · PDF View details →