Publication
Detail
Publication date: 01/06/2010Ensuring Agent Properties under Arbitrary Sequences of Incoming Events
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/ |