Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig. Bounded determinization of timed automata with silent transitions. Real-Time Systems, 53(3):291-326, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.