%0 Conference Paper %1 conf/cav/Mitchell15 %A Mitchell, Ian %B SNR@CAV %D 2015 %E Bogomolov, Sergiy %E Tiwari, Ashish %I EasyChair %K dblp %P 23-31 %T A Summary of Recent Progress on Efficient Parametric Approximations of Viability and Discriminating Kernels. %U http://dblp.uni-trier.de/db/conf/cav/snr2015.html#Mitchell15 %V 37

@inproceedings{conf/cav/Mitchell15, added-at = {2021-08-15T00:00:00.000+0200}, author = {Mitchell, Ian}, biburl = {https://www.bibsonomy.org/bibtex/2a208a5f9f1912af77677ded765b3b0b3/dblp}, booktitle = {SNR@CAV}, crossref = {conf/cav/2015snr}, editor = {Bogomolov, Sergiy and Tiwari, Ashish}, ee = {https://doi.org/10.29007/bm16}, interhash = {21a5882b88a0c97d4060afbbf7e433d4}, intrahash = {a208a5f9f1912af77677ded765b3b0b3}, keywords = {dblp}, pages = {23-31}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T10:16:51.000+0200}, title = {A Summary of Recent Progress on Efficient Parametric Approximations of Viability and Discriminating Kernels.}, url = {http://dblp.uni-trier.de/db/conf/cav/snr2015.html#Mitchell15}, volume = 37, year = 2015 }