Marco Paolieri, Sriram Sankaranarayanan, Enrico Vicario. Guest Editorial: Special issue on formal modeling and analysis of timed systems. Real-Time Systems, 53(3):289-290, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.