@article{DBLP:journals/todaes/ManoliosS08,
author = {Panagiotis Manolios and
Sudarshan K. Srinivasan},
title = {Automatic verification of safety and liveness for pipelined
machines using WEB refinement},
journal = {ACM Trans. Design Autom. Electr. Syst.},
volume = {13},
number = {3},
year = {2008},
ee = {http://doi.acm.org/10.1145/1367045.1367054},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-10 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
