Results 1 - 16 of 16 Page 1
History of Verifiable Multi-agent Programs — revisions from 1.1 to 16.1
From To Version Editor Date Summary
16.1 Andrea Omicini 16/10/2021 18:27
15.1 Andrea Omicini 11/10/2021 13:26
14.1 Andrea Omicini 11/10/2021 01:48
13.1 Andrea Omicini 11/10/2021 01:48
12.1 Andrea Omicini 11/10/2021 01:48 Document converted from syntax xwiki/1.0 to syntax xwiki/2.1
11.1 Andrea Omicini 11/10/2021 01:45
10.1 Andrea Omicini 03/10/2021 18:10 Migrated property [subtitle] from class [Publications.PublicationClass]
9.1 Andrea Omicini 01/10/2021 11:10 Migrated property [sort] from class [Publications.PublicationClass]
8.1 Andrea Omicini 29/09/2021 14:59 Migrated property [prova] from class [Publications.PublicationClass]
7.2 Andrea Omicini 10/08/2021 23:37 Updated class property name
6.1 Andrea Omicini 10/08/2021 23:21 Migrated property [APICETalk] from class [Publications.PublicationClass]
5.2 Andrea Omicini 01/05/2021 18:51 Updated class property name
4.1 Andrea Omicini 01/05/2021 18:36 Migrated property [SemanticScholarCorpusId] from class [Publications.PublicationClass]
3.1 Andrea Omicini 16/04/2021 11:15 Migrated property [ieeeId] from class [Publications.PublicationClass]
2.1 Andrea Omicini 12/10/2020 18:14 Imported from XAR
1.1 Andrea Omicini 12/10/2020 17:48 Imported from XAR
Page 1
Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY