Number of the records: 1
Decentralized control of product (max+)-automata using coinduction
- 1.KOMENDA, Jan, LAHAYE, S., BOIMOND, J.-L. Decentralized control of product (max+)-automata using coinduction. In: RAMÍREZ-TREVIÑO, A., LÓPEZ-MELLADO, E., LESAGE, J.-J., eds. Proceedings of the 11th International Workshop on Discrete Event Systems (WODES 2012). Guadalajara: IFAC, 2012, s. 122-127. ISBN 978-3-902823-28-1. Available: https://doi.org/10.3182/20121003-3-MX-4033.00023.
Number of the records: 1