Luiza Gheorghe Iugan, Gabriela Nicolescu, Ian O Connor. Modeling and Formal Verification of a Passive Optical Network on Chip Behavior. ECEASST, 21, 2009. [doi]
@article{IuganNO09,
title = {Modeling and Formal Verification of a Passive Optical Network on Chip Behavior},
author = {Luiza Gheorghe Iugan and Gabriela Nicolescu and Ian O Connor},
year = {2009},
url = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/302},
tags = {modeling},
researchr = {https://researchr.org/publication/IuganNO09},
cites = {0},
citedby = {0},
journal = {ECEASST},
volume = {21},
}