Presentation

Publikationer
Visa/dölj innehåll

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) , s. 257-271

2008

Relaterat innehåll
Visa/dölj innehåll