The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Unbounded Protocol Compliance Verification Using Interval Property Checking With Invariants
The work
| Authors | Minh D. Nguyen; Max Thalmaier; Markus Wedler; JÖrg Bormann; Dominik Stoffel; Wolfgang Kunz |
|---|---|
| Editors | |
| Type | article |
| Year | 2008 |
| Citekey | nguyen2008unbounded |
Where it appeared
| Published in | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems |
|---|---|
| Publisher | Institute of Electrical and Electronics Engineers (IEEE) |
| Volume | 27 |
| Issue | 11 |
| Pages | 2068--2082 |
Identifiers
| DOI | 10.1109/tcad.2008.2006092 |
|---|---|
| ISSN | 0278-0070 |
Access
| Landing page | https://doi.org/10.1109/tcad.2008.2006092 |
|---|
Cite it as
@article{nguyen2008unbounded,
title = {Unbounded Protocol Compliance Verification Using Interval Property Checking With Invariants},
author = {Minh D. Nguyen and Max Thalmaier and Markus Wedler and JÖrg Bormann and Dominik Stoffel and Wolfgang Kunz},
year = {2008},
journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
publisher = {Institute of Electrical and Electronics Engineers (IEEE)},
volume = {27},
number = {11},
pages = {2068--2082},
issn = {0278-0070},
doi = {10.1109/tcad.2008.2006092},
}
This record lives at https://refs.drheap.org/nguyen2008unbounded/ and will keep doing so.