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/etfa/SunderFV06
%A Sünder, Christoph
%A Favre-Bulle, Bernard
%A Vyatkin, Valeriy
%B ETFA
%D 2006
%I IEEE
%K dblp
%P 1133-1136
%T Towards an Approach for the Verification of Downtimeless System Evolution.
%U http://dblp.uni-trier.de/db/conf/etfa/etfa2006.html#SunderFV06
%@ 0-7803-9758-4
@inproceedings{conf/etfa/SunderFV06,
added-at = {2007-07-04T00:00:00.000+0200},
author = {Sünder, Christoph and Favre-Bulle, Bernard and Vyatkin, Valeriy},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ba2b40ed3f73b67cb413bbdc0950e767/dblp},
booktitle = {ETFA},
crossref = {conf/etfa/2006},
ee = {http://dx.doi.org/10.1109/ETFA.2006.355229},
interhash = {7bb189431489278e407fff9547238b74},
intrahash = {ba2b40ed3f73b67cb413bbdc0950e767},
isbn = {0-7803-9758-4},
keywords = {dblp},
pages = {1133-1136},
publisher = {IEEE},
timestamp = {2016-02-02T16:14:12.000+0100},
title = {Towards an Approach for the Verification of Downtimeless System Evolution.},
url = {http://dblp.uni-trier.de/db/conf/etfa/etfa2006.html#SunderFV06},
year = 2006
}