Braberman, V., Olivero, A., & Schapachnik, F. Dealing with practical limitations of distributed timed model checking for timed automata.
Cita Chicago Style (17a ed.)Braberman, V., A. Olivero, y F. Schapachnik. Dealing with Practical Limitations of Distributed Timed Model Checking for Timed Automata.
Cita MLA (8a ed.)Braberman, V., et al. Dealing with Practical Limitations of Distributed Timed Model Checking for Timed Automata.
Precaución: Estas citas no son 100% exactas.