%0 Conference Paper %1 conf/itaero/PullumCVHRB12 %A Pullum, Laura %A Cui, Xiaohui %A Vassev, Emil %A Hinchey, Michael G. %A Rouff, Christopher A. %A Buskens, Richard W. %B Infotech@Aerospace %D 2012 %K dblp %T Verification of Adaptive Systems. %U http://dblp.uni-trier.de/db/conf/itaero/itaero2012.html#PullumCVHRB12 %@ 978-1-60086-939-6

@inproceedings{conf/itaero/PullumCVHRB12, added-at = {2017-05-31T00:00:00.000+0200}, author = {Pullum, Laura and Cui, Xiaohui and Vassev, Emil and Hinchey, Michael G. and Rouff, Christopher A. and Buskens, Richard W.}, biburl = {https://www.bibsonomy.org/bibtex/2d730b4ca060f8bd21be52c09d015cacb/dblp}, booktitle = {Infotech@Aerospace}, crossref = {conf/itaero/2012}, ee = {https://doi.org/10.2514/6.2012-2478}, interhash = {14aceb0b1c33d187e9e0b6efc73bd821}, intrahash = {d730b4ca060f8bd21be52c09d015cacb}, isbn = {978-1-60086-939-6}, keywords = {dblp}, timestamp = {2017-06-01T11:40:00.000+0200}, title = {Verification of Adaptive Systems.}, url = {http://dblp.uni-trier.de/db/conf/itaero/itaero2012.html#PullumCVHRB12}, year = 2012 }