Run-Time Monitoring of Electronic Contracts.

Marcel Kyas, Cristian Prisacariu, Gerardo Schneider

Browse the full ATVA paper archive.