Detail

Publication date: 01/06/2010

Ensuring Agent Properties under Arbitrary Sequences of Incoming Events

Authors

S. Costantini, Marco Gavanelli, Pierangelo Dell'Acqua, Toni Mancini, Luís Moniz Pereira, A. Tocchio,

URL http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-616/paper13.pdf
Publisher CEUR Workshop Proceedings
Series http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/
Volume 616
ISSN 1613-0073
Address http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-616/
URL http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-616/paper13.pdf
Publisher CEUR Workshop Proceedings
Series http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/
Volume 616
ISSN 1613-0073
Address http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-616/