%0 Conference Paper %1 conf/icse/0015ALW20 %A Huang, Yu %A Angstadt, Kevin %A Leach, Kevin %A Weimer, Westley %B ICSE (Workshops) %D 2020 %I ACM %K dblp %P 3-10 %T Selective Symbolic Type-Guided Checkpointing and Restoration for Autonomous Vehicle Repair. %U http://dblp.uni-trier.de/db/conf/icse/icse2020w.html#0015ALW20 %@ 978-1-4503-7963-2

@inproceedings{conf/icse/0015ALW20, added-at = {2021-10-14T00:00:00.000+0200}, author = {Huang, Yu and Angstadt, Kevin and Leach, Kevin and Weimer, Westley}, biburl = {https://www.bibsonomy.org/bibtex/2a6077c80cc412096b52b51c8b3a7df04/dblp}, booktitle = {ICSE (Workshops)}, crossref = {conf/icse/2020w}, ee = {https://doi.org/10.1145/3387940.3392201}, interhash = {f2c0c400e8581dea9bbf2e63f6642db6}, intrahash = {a6077c80cc412096b52b51c8b3a7df04}, isbn = {978-1-4503-7963-2}, keywords = {dblp}, pages = {3-10}, publisher = {ACM}, timestamp = {2024-04-10T15:15:15.000+0200}, title = {Selective Symbolic Type-Guided Checkpointing and Restoration for Autonomous Vehicle Repair.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2020w.html#0015ALW20}, year = 2020 }