- Title
- Protocol specification and verification by using computational logic
- Creators
- Marco AlbertiAnna CiampoliniFederico ChesaniPaola MelloMarco MontaliSergio StorariPaolo Torroni
- Publication Details
- WOA 2005: dagli oggetti agli agenti: simulazione e analisi formale dei sistemi complessi ; Camerino, Italia, 14-16 novembre 2005, pp.184-192
- Editor(s)
- Corradini F [et al.]
- ISBN
- 88-371-1590-3
- Conference
- WOA 2005 - 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems (Camerino, 14/11/2005 - 16/11/2005)
- Publisher
- Pitagora Editrice
Bologna - Number of pages
- 9
- Identifiers
- 88-371-1590-3
(UNIBZ)1359560
991005773494901241 - Scopus ID
- 2-s2.0-71549122845
- Academic Unit
- Faculty of Computer Science
- Language
- English
- Resource Type
- Conference proceeding
- Author Names String
- Alberti M, Ciampolini A, Chesani F, Mello P, Montali M, Storari S, Torroni P
- Additional Description
- srcEditors: Corradini F [et al.]
Conference proceeding
Protocol specification and verification by using computational logic
WOA 2005: dagli oggetti agli agenti: simulazione e analisi formale dei sistemi complessi ; Camerino, Italia, 14-16 novembre 2005, pp.184-192
WOA 2005 - 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems (Camerino, 14/11/2005 - 16/11/2005)
2005
Handle:
https://hdl.handle.net/10863/1123
Details
Metrics
20 Record Views