Minh D. Nguyen, Max Thalmaier, Markus Wedler, J. Bormann, Dominik Stoffel, Wolfgang Kunz. Unbounded Protocol Compliance Verification Using Interval Property Checking With Invariants. IEEE Trans. on CAD of Integrated Circuits and Systems, 27(11):2068-2082, 2008. [doi]
@article{NguyenTWBSK08,
title = {Unbounded Protocol Compliance Verification Using Interval Property Checking With Invariants},
author = {Minh D. Nguyen and Max Thalmaier and Markus Wedler and J. Bormann and Dominik Stoffel and Wolfgang Kunz},
year = {2008},
doi = {10.1109/TCAD.2008.2006092},
url = {http://dx.doi.org/10.1109/TCAD.2008.2006092},
tags = {protocol},
researchr = {https://researchr.org/publication/NguyenTWBSK08},
cites = {0},
citedby = {0},
journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
volume = {27},
number = {11},
pages = {2068-2082},
}