DMCA

Timed lossy channel systems (2012)

by Parosh Aziz Abdulla , Mohamed Faouzi Atig , Jonathan Cederberg
Venue:In: Proc. FSTTCS ’05, 32nd Conf. on Foundations of Software Technology and Theoretical Computer Science
Citations:3 - 1 self