%0 Journal Article %1 journals/mam/ViejoVJMOQ12 %A Viejo, Julian %A Villar, Jose Ignacio %A Juan, Jorge %A Millán, Alejandro %A Ostúa, Enrique %A Quiros, Juan %D 2012 %J Microprocess. Microsystems %K dblp %N 5 %P 402-408 %T Long-term on-chip verification of systems with logical events scattered in time. %U http://dblp.uni-trier.de/db/journals/mam/mam36.html#ViejoVJMOQ12 %V 36

@article{journals/mam/ViejoVJMOQ12, added-at = {2020-02-22T00:00:00.000+0100}, author = {Viejo, Julian and Villar, Jose Ignacio and Juan, Jorge and Millán, Alejandro and Ostúa, Enrique and Quiros, Juan}, biburl = {https://www.bibsonomy.org/bibtex/2a74ba1837532c72f8570cc8760573539/dblp}, ee = {https://doi.org/10.1016/j.micpro.2012.02.005}, interhash = {c84329436a9261660ce5010f30ad4531}, intrahash = {a74ba1837532c72f8570cc8760573539}, journal = {Microprocess. Microsystems}, keywords = {dblp}, number = 5, pages = {402-408}, timestamp = {2020-02-25T12:53:21.000+0100}, title = {Long-term on-chip verification of systems with logical events scattered in time.}, url = {http://dblp.uni-trier.de/db/journals/mam/mam36.html#ViejoVJMOQ12}, volume = 36, year = 2012 }