%0 Conference Paper %1 conf/cpsweek/BakD17 %A Bak, Stanley %A Duggirala, Parasara Sridhar %B ARCH@CPSWeek %D 2017 %E Frehse, Goran %E Althoff, Matthias %I EasyChair %K dblp %P 114-123 %T Direct Verification of Linear Systems with over 10000 Dimensions. %U http://dblp.uni-trier.de/db/conf/cpsweek/arch2017.html#BakD17 %V 48

@inproceedings{conf/cpsweek/BakD17, added-at = {2021-08-15T00:00:00.000+0200}, author = {Bak, Stanley and Duggirala, Parasara Sridhar}, biburl = {https://www.bibsonomy.org/bibtex/276801b859a9e6baf3097002e04fb253a/dblp}, booktitle = {ARCH@CPSWeek}, crossref = {conf/cpsweek/2017arch}, editor = {Frehse, Goran and Althoff, Matthias}, ee = {https://doi.org/10.29007/dwj1}, interhash = {0e913cc1d82256218a5b737ccc0df502}, intrahash = {76801b859a9e6baf3097002e04fb253a}, keywords = {dblp}, pages = {114-123}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T23:41:01.000+0200}, title = {Direct Verification of Linear Systems with over 10000 Dimensions.}, url = {http://dblp.uni-trier.de/db/conf/cpsweek/arch2017.html#BakD17}, volume = 48, year = 2017 }