Perfect Timed Communication Is Hard

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-030-00151-3_6 ◽

2018 ◽

pp. 91-107 ◽

Author(s):

Parosh Aziz Abdulla ◽

Mohamed Faouzi Atig ◽

Shankara Narayanan Krishna

Download Full-text