Yuliia Romenska, Frédéric Mallet. Improving the Efficiency of Synchronized Product with Infinite Transition Systems. Ermolayev, Vadim and Mayr, Heinrich C.
Communications in Computer and Information Science, 412, Springer, pp.287-307, 2013, Communications in Computer and Information Science, 978-3-319-03997-8.
⟨10.1007/978-3-319-03998-5_15⟩.
⟨hal-00926299⟩