31![Development of a Verified Flash File System ? Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, Dominik Haneberg, and Wolfgang Reif Development of a Verified Flash File System ? Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, Dominik Haneberg, and Wolfgang Reif](https://www.pdfsearch.io/img/c974d53932cc10a4acfbd320f01a7afd.jpg) | Add to Reading ListSource URL: www.isse.uni-augsburg.deLanguage: English - Date: 2017-01-11 10:47:24
|
---|
32![Symbolic vs. Bounded Synthesis for Petri Games Bernd Finkbeiner1 , Manuel Gieseking2 , udiger Olderog2 Jesko Hecking-Harbusch1 , Ernst-R¨ 2 Carl Symbolic vs. Bounded Synthesis for Petri Games Bernd Finkbeiner1 , Manuel Gieseking2 , udiger Olderog2 Jesko Hecking-Harbusch1 , Ernst-R¨ 2 Carl](https://www.pdfsearch.io/img/d4d043eb4b17aad4450bddd81c18c4f5.jpg) | Add to Reading ListSource URL: www.react.uni-saarland.deLanguage: English - Date: 2017-08-02 04:54:12
|
---|
33![Deadline-Aware Multipath Communication: An Optimization Problem Laurent Chuat∗ , Adrian Perrig∗ , Yih-Chun Hu† of Computer Science, ETH Zurich, Switzerland † Department of Electrical and Computer Engineering, Uni Deadline-Aware Multipath Communication: An Optimization Problem Laurent Chuat∗ , Adrian Perrig∗ , Yih-Chun Hu† of Computer Science, ETH Zurich, Switzerland † Department of Electrical and Computer Engineering, Uni](https://www.pdfsearch.io/img/bb5f29102dec222012e8ce53a964177a.jpg) | Add to Reading ListSource URL: www.netsec.ethz.chLanguage: English |
---|
34![The 4th Competition on Syntax-Guided Synthesis Rajeev Alur, Dana Fisman, Rishabh Singh and Armando Solar-Lezama The 4th Competition on Syntax-Guided Synthesis Rajeev Alur, Dana Fisman, Rishabh Singh and Armando Solar-Lezama](https://www.pdfsearch.io/img/71e33426a3518c97cb9b9355292dd212.jpg) | Add to Reading ListSource URL: www.react.uni-saarland.deLanguage: English - Date: 2017-08-02 04:54:12
|
---|
35![A class of control certificates to ensure Reach-While-Stay for Switched Systems Hadi Ravanbakhsh and Sriram Sankaranarayanan Presented by Sergio Mover University of Colorado Boulder A class of control certificates to ensure Reach-While-Stay for Switched Systems Hadi Ravanbakhsh and Sriram Sankaranarayanan Presented by Sergio Mover University of Colorado Boulder](https://www.pdfsearch.io/img/b374986abae74079ead4051d60f51844.jpg) | Add to Reading ListSource URL: www.react.uni-saarland.deLanguage: English - Date: 2017-08-02 04:54:12
|
---|
36![](/pdf-icon.png) | Add to Reading ListSource URL: www.is.informatik.uni-duisburg.de- Date: 2008-03-14 14:10:25
|
---|
37![](/pdf-icon.png) | Add to Reading ListSource URL: static.uni-graz.at- Date: 2017-05-02 08:51:22
|
---|
38![](/pdf-icon.png) | Add to Reading ListSource URL: fiqt.uni.edu.pe- Date: 2017-09-04 18:28:52
|
---|
39![](/pdf-icon.png) | Add to Reading ListSource URL: www.ieg-maps.uni-mainz.de- Date: 2012-03-30 09:33:08
|
---|
40![](/pdf-icon.png) | Add to Reading ListSource URL: diffusion.uni-leipzig.de- Date: 2018-02-09 06:53:02
|
---|