Jens Schönherr, Ingo Schreiber, Eva Fordran, Bernd Straube. Hazard Checking in Pipelined Processor Designs Using Symbolic Model Checking. In 25th EUROMICRO 99 Conference, Informatics: Theory and Practice for the New Millenium, 8-10 September 1999, Milan, Italy. pages 1075, IEEE Computer Society, 1999. [doi]
@inproceedings{SchonherrSFS99, title = {Hazard Checking in Pipelined Processor Designs Using Symbolic Model Checking}, author = {Jens Schönherr and Ingo Schreiber and Eva Fordran and Bernd Straube}, year = {1999}, url = {http://csdl.computer.org/comp/proceedings/euromicro/1999/0321/01/03211075abs.htm}, tags = {model checking, meta-model, Meta-Environment, process modeling}, researchr = {https://researchr.org/publication/SchonherrSFS99}, cites = {0}, citedby = {0}, pages = {1075}, booktitle = {25th EUROMICRO 99 Conference, Informatics: Theory and Practice for the New Millenium, 8-10 September 1999, Milan, Italy}, publisher = {IEEE Computer Society}, isbn = {0-7695-0321-7}, }