Počet záznamů: 1
Decentralized control of product (max+)-automata using coinduction
- 1.Komenda, J., 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. Dostupné z: https://doi.org/10.3182/20121003-3-MX-4033.00023.
Počet záznamů: 1