Presentation

Publications

2019

2013

2012

2011

2010

2009

Stefania Costantini, Pierangelo Dell'Acqua, Luis Moniz Pereira, Panagiota Tsintza (2009) Runtime Verification of Agent Properties Int. Conf. on Applications of Declarative Programming and Knowledge Management (INAP09), p. 257-271

Related content