Results 1 - 20 of 24 next page » Page 1 2
History of Formal Verification of Probabilistic Swarm Behaviours — revisions from 5.2 to 24.2
From To Version Editor Date Summary
24.2 Andrea Omicini 25/11/2021 23:08 Synchronized object properties with their current classes
23.1 Andrea Omicini 11/11/2021 01:09 Migrated property [talk_other] from class [Publications.PublicationClass]
22.1 Andrea Omicini 11/11/2021 01:05 Migrated property [talk_other] from class [Publications.PublicationClass]
21.1 Andrea Omicini 11/11/2021 01:04 Migrated property [venue_p_other] from class [Publications.PublicationClass]
20.1 Andrea Omicini 11/11/2021 01:00 Migrated property [venue_p_other] from class [Publications.PublicationClass]
19.1 Andrea Omicini 11/11/2021 00:51 Migrated property [venue_j_other] from class [Publications.PublicationClass]
18.1 Andrea Omicini 11/11/2021 00:43 Migrated property [venue_j_other] from class [Publications.PublicationClass]
17.1 Andrea Omicini 11/11/2021 00:35 Migrated property [venue_e_other] from class [Publications.PublicationClass]
16.2 Andrea Omicini 10/11/2021 17:59 Updated class property name
15.1 Andrea Omicini 10/11/2021 17:35 Migrated property [LocalOpenAccessPDF] from class [Publications.PublicationClass]
14.1 Andrea Omicini 10/11/2021 13:51 Migrated property [OpenAccessURL] from class [Publications.PublicationClass]
13.2 Andrea Omicini 29/10/2021 11:38 Synchronized object properties with their current classes
12.1 Andrea Omicini 16/10/2021 18:17
11.1 Andrea Omicini 13/10/2021 01:53
10.1 Andrea Omicini 03/10/2021 18:00 Migrated property [subtitle] from class [Publications.PublicationClass]
9.1 Andrea Omicini 01/10/2021 11:01 Migrated property [sort] from class [Publications.PublicationClass]
8.1 Andrea Omicini 29/09/2021 14:50 Migrated property [prova] from class [Publications.PublicationClass]
7.2 Andrea Omicini 10/08/2021 23:34 Updated class property name
6.1 Andrea Omicini 10/08/2021 23:14 Migrated property [APICETalk] from class [Publications.PublicationClass]
5.2 Andrea Omicini 01/05/2021 18:48 Updated class property name
next page » Page 1 2
Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY