DOI                                                                                                  OWNER      DEPOSIT-TIMESTAMP         LAST-UPDATED   CITED-BY-COUNT

10.1109/FormaliSE.2015.9                                                                             10.1109    20150803160022565         2017-06-23     3             
10.1109/FormaliSE.2015.13                                                                            10.1109    20150803160022565         2017-06-23     4             
10.1109/FormaliSE.2015.10                                                                            10.1109    20150803160022565         2019-08-28     1             
10.1109/FormaliSE.2015.6                                                                             10.1109    20150803160022565         2017-03-25     0             
10.1109/FormaliSE.2015.16                                                                            10.1109    20150803160022565         2017-06-23     9             
10.1109/FormaliSE.2015.8                                                                             10.1109    20150803160022565         2017-06-23     7             
10.1109/FormaliSE.2015.11                                                                            10.1109    20150803160022565         2017-03-25     9             
10.1109/FormaliSE.2015.14                                                                            10.1109    20150803160022565         2017-06-23     40            
10.1109/FormaliSE.2015.20                                                                            10.1109    20150803160022565         2017-03-25     0             
10.1109/FormaliSE.2015.5                                                                             10.1109    20150803160022565         2017-03-25     0             
10.1109/FormaliSE.2015.19                                                                            10.1109    20150803160022565         2017-03-25     0             
10.1109/FormaliSE.2015.15                                                                            10.1109    20150803160022565         2017-03-25     3             
10.1109/FormaliSE.2015.4                                                                             10.1109    20150803160022565         2017-03-25     0             
10.1109/FormaliSE.2015.17                                                                            10.1109    20150803160022565         2023-08-12     3             
10.1109/FormaliSE.2015.2                                                                             10.1109    20150803160022565         2017-03-25     0             
10.1109/FormaliSE.2015.3                                                                             10.1109    20200127162840473         2020-02-02     0             
10.1109/FormaliSE.2015.12                                                                            10.1109    20200910150104511         2020-09-10     9             
10.1109/FormaliSE.2015.18                                                                            10.1109    20150803160022565         2017-06-23     2             
10.1109/FormaliSE.2015.1                                                                             10.1109    20150803160022565         2017-03-25     0             
10.1109/FormaliSE.2015.7                                                                             10.1109    20150803160022565         2017-03-25     0             
10.1109/FormaliSE36623.2015                                                                          10.1109    20200910150104511         2020-09-10     0