Meta data
- BibTeX key
- conf/syde/BeckerSSW15
- entry type
- inproceedings
- booktitle
- SyDe Summer School
- year
- 2015
- pages
- 122-150
- publisher
- Springer
- crossref
- conf/syde/2015
- ee
- https://doi.org/10.1007/978-3-658-09994-7_5
- isbn
- 978-3-658-09994-7
- url
- http://dblp.uni-trier.de/db/conf/syde/syde2015.html#BeckerSSW15
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/syde/BeckerSSW15
%A Becker, Bernd
%A Sauer, Matthias
%A Scholl, Christoph
%A Wimmer, Ralf
%B SyDe Summer School
%D 2015
%E Drechsler, Rolf
%E Kühne, Ulrich
%I Springer
%K
%P 122-150
%T Modeling Unknown Values in Test and Verification.
%U http://dblp.uni-trier.de/db/conf/syde/syde2015.html#BeckerSSW15
%@ 978-3-658-09994-7
@inproceedings{conf/syde/BeckerSSW15,
added-at = {2023-12-13T07:12:06.000+0100},
author = {Becker, Bernd and Sauer, Matthias and Scholl, Christoph and Wimmer, Ralf},
biburl = {https://www.bibsonomy.org/bibtex/222497de238f72681916c0795ecb113e2/admin},
booktitle = {SyDe Summer School},
crossref = {conf/syde/2015},
editor = {Drechsler, Rolf and Kühne, Ulrich},
ee = {https://doi.org/10.1007/978-3-658-09994-7_5},
interhash = {b64decdf0c7e1e3a299158d7ad7a3bc8},
intrahash = {22497de238f72681916c0795ecb113e2},
isbn = {978-3-658-09994-7},
keywords = {},
pages = {122-150},
publisher = {Springer},
timestamp = {2023-12-13T07:12:06.000+0100},
title = {Modeling Unknown Values in Test and Verification.},
url = {http://dblp.uni-trier.de/db/conf/syde/syde2015.html#BeckerSSW15},
year = 2015
}