GHEORGHE IUGAN, Luiza; NICOLESCU, Gabriela; O’CONNOR, Ian. Modeling and Formal Verification of a Passive Optical Network on Chip Behavior. Electronic Communications of the EASST, [S. l.], v. 21, 2009. DOI: 10.14279/tuj.eceasst.21.302. Disponível em: https://eceasst.org/index.php/eceasst/article/view/1574. Acesso em: 22 nov. 2024.