Detail

Publication date: 01/11/2009

Runtime Veri?cation of Agent Properties

Authors

Salvador Abreu, S. Costantini, Dietmar Siepel, Pierangelo Dell'Acqua, Luís Moniz Pereira, P. Tsintza,