Ehsan Khamespanah, Marjan Sirjani, Zeynab Sabahi-Kaviani, Ramtin Khosravi, Mohammad-Javad Izadi. Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system. Science of Computer Programming, 98:184-204, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.