A study on the extended unique input/output sequence
From MaRDI portal
Publication:456677
DOI10.1016/j.ins.2012.03.007zbMath1248.68082MaRDI QIDQ456677
J. Herrera, D. Rodríguez-Gómez
Publication date: 16 October 2012
Published in: Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ins.2012.03.007
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
68M12: Network protocols