Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/c3s2e/RouffBPCH12
%A Rouff, Christopher A.
%A Buskens, Richard W.
%A Pullum, Laura
%A Cui, Xiaohui
%A Hinchey, Mike
%B C3S2E
%D 2012
%E Desai, Bipin C.
%E Vassev, Emil
%E Mudur, Sudhir P.
%I ACM
%K dblp
%P 118-122
%T The AdaptiV approach to verification of adaptive systems.
%U http://dblp.uni-trier.de/db/conf/c3s2e/c3s2e2012.html#RouffBPCH12
%@ 978-1-4503-1084-0
@inproceedings{conf/c3s2e/RouffBPCH12,
added-at = {2021-10-14T00:00:00.000+0200},
author = {Rouff, Christopher A. and Buskens, Richard W. and Pullum, Laura and Cui, Xiaohui and Hinchey, Mike},
biburl = {https://www.bibsonomy.org/bibtex/2e07dfbfa1ad007d4fb704855efbe4874/dblp},
booktitle = {C3S2E},
crossref = {conf/c3s2e/2012},
editor = {Desai, Bipin C. and Vassev, Emil and Mudur, Sudhir P.},
ee = {https://doi.org/10.1145/2347583.2347600},
interhash = {533cf15b9996ac6d5ba8cc0c6a6e9486},
intrahash = {e07dfbfa1ad007d4fb704855efbe4874},
isbn = {978-1-4503-1084-0},
keywords = {dblp},
pages = {118-122},
publisher = {ACM},
timestamp = {2024-04-10T08:52:41.000+0200},
title = {The AdaptiV approach to verification of adaptive systems.},
url = {http://dblp.uni-trier.de/db/conf/c3s2e/c3s2e2012.html#RouffBPCH12},
year = 2012
}