Christian Stangier, Ulrich Holtmann. Applying Formal Verification with Protocol Compiler. In Euromicro Symposium on Digital Systems Design 2001 (Euro-DSD 2001), 4-6 September 2001, Warsaw, Poland. pages 165-169, IEEE Computer Society, 2001. [doi]
@inproceedings{StangierH01, title = {Applying Formal Verification with Protocol Compiler}, author = {Christian Stangier and Ulrich Holtmann}, year = {2001}, doi = {10.1109/DSD.2001.952270}, url = {http://doi.ieeecomputersociety.org/10.1109/DSD.2001.952270}, tags = {protocol, compiler}, researchr = {https://researchr.org/publication/StangierH01}, cites = {0}, citedby = {0}, pages = {165-169}, booktitle = {Euromicro Symposium on Digital Systems Design 2001 (Euro-DSD 2001), 4-6 September 2001, Warsaw, Poland}, publisher = {IEEE Computer Society}, isbn = {0-7695-1239-9}, }