A scalable formal method for design and automatic checking of user interfaces
- 期刊名称ACM Transactions on Software Engineering and Methodology
- 作者Berstel, Jean; Reghizzi, Stefano Crespi; Roussel, Gilles; Pietro, Pierluigi San
- 卷第14卷
- 期第2期
- 印刷ISSN1049-331X
- 文件大小1697.81KB
- 发表时间2005-04-01
- DOI10.1145/1061254.1061256
- 页码124-167
Bat Predation by SpidersNyffeler, Martin; Knörnschild, Mirjam; Bilde, Trine · PLoS ONE · 2013
Autoluminescent PlantsKrichevsky, Alexander; Meyers, Benjamin; Vainstein, Alexander; Maliga, Pal; Citovsky, Vitaly; Uversky, Vladimir N. · PLoS ONE · 2010
Beyond the GeneFox Keller, Evelyn; Harel, David; Zwaka, Thomas · PLoS ONE · 2007
Semi-Markov Graph DynamicsRaberto, Marco; Rapallo, Fabio; Scalas, Enrico; Perc, Matjaz · PLoS ONE · 2011
Modelling Competing Endogenous RNA NetworksBosia, Carla; Pagnani, Andrea; Zecchina, Riccardo; Khanin, Raya · PLoS ONE · 2013
Scientists Want More ChildrenEcklund, Elaine Howard; Lincoln, Anne E.; Perc, Matjaz · PLoS ONE · 2011
The rumour spectrumTurenne, Nicolas; Amblard, Frederic · PLOS ONE · 2018
Laughing Rats Are OptimisticRygula, Rafal; Pluta, Helena; Popik, Piotr; Chapouthier, Georges · PLoS ONE · 2012