%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

@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://www.bibsonomy.org/bibtex/2ba2b40ed3f73b67cb413bbdc0950e767/dblp}, booktitle = {ETFA}, crossref = {conf/etfa/2006}, date = {2007-07-04}, description = {dblp}, ee = {http://dx.doi.org/10.1109/ETFA.2006.355229}, interhash = {7bb189431489278e407fff9547238b74}, intrahash = {ba2b40ed3f73b67cb413bbdc0950e767}, keywords = {dblp}, pages = {1133-1136}, publisher = {IEEE}, timestamp = {2007-07-16T13:40:53.000+0200}, 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 }