Skip to content

Implementing real-time transactional security property using timed edit automata.

N. Rajamanickam, R. Nadarajan

VenueCSIN
Year2013
ProceedingsSIN

Browse the full SIN paper archive.