Bernd Becker, Matthias Sauer, Christoph Scholl, Ralf Wimmer. Modeling Unknown Values in Test and Verification. In Rolf Drechsler, Ulrich Kühne, editors, Formal Modeling and Verification of Cyber-Physical Systems, 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015. pages 122-150, Springer, 2015. [doi]
@inproceedings{BeckerSSW15,
title = {Modeling Unknown Values in Test and Verification},
author = {Bernd Becker and Matthias Sauer and Christoph Scholl and Ralf Wimmer},
year = {2015},
doi = {10.1007/978-3-658-09994-7_5},
url = {http://dx.doi.org/10.1007/978-3-658-09994-7_5},
researchr = {https://researchr.org/publication/BeckerSSW15},
cites = {0},
citedby = {0},
pages = {122-150},
booktitle = {Formal Modeling and Verification of Cyber-Physical Systems, 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015},
editor = {Rolf Drechsler and Ulrich Kühne},
publisher = {Springer},
isbn = {978-3-658-09994-7},
}