Skip to content

Specification and verification of a distributed real-time arbitration protocol.

Jozef Hooman

VenueARTSS
Year1993
ProceedingsRTSS

Browse the full RTSS paper archive.