Quantitative reactive modeling and verification
- 期刊名称Computer Science - Research and Development
- 作者Henzinger, Thomas A.
- 卷第28卷
- 期第4期
- 印刷ISSN1865-2034
- 电子ISSN1865-2042
- 文件大小556.99KB
- 发表时间2013-11
- DOI10.1007/s00450-013-0251-7
- 页码331-344
Futility and resistanceSterling, Bruce · Personal and Ubiquitous Computing · 2014
Theme issue on EISTThayer, Alexander · Personal and Ubiquitous Computing · 2014
Theme issue from ISWC 2013Gatica-Perez, Daniel; Roggen, Daniel; Fukumoto, Masaaki · Personal and Ubiquitous Computing · 2015
Touching the dematerializedVan Campenhout, Lukas Desmond Elias; Frens, Joep; Hummels, Caroline; Standaert, Achiel; Peremans, Herbert · Personal and Ubiquitous Computing · 2016
Ubiquitous technologies for older peopleCozza, Michela; De Angeli, Antonella; Tonolli, Linda · Personal and Ubiquitous Computing · 2017
Long-life applicationKarchoud, Riadh; Illarramendi, Arantza; Ilarri, Sergio; Roose, Philippe; Dalmau, Marc · Personal and Ubiquitous Computing · 2017
Banded choropleth mapDu, Yi; Ren, Lei; Zhou, Yuanchun; Li, Jianhui; Tian, Feng; Dai, Guozhong · Personal and Ubiquitous Computing · 2018
Special issue on child computer interactionTse, Edward · Personal and Ubiquitous Computing · 2013