Timed Resource Driven Automata Nets for Distributed Real-Time Systems Modelling.

Vladimir A. Bashkin, Irina A. Lomazova, Yulia A. Novikova

Browse the full PACT paper archive.