scientific article; zbMATH DE number 5201496
From MaRDI portal
Publication:5422291
zbMath1124.68009MaRDI QIDQ5422291
Bożena Woźna, Alessio Lomuscio, Franco Raimondi
Publication date: 17 October 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12) Authentication, digital signatures and secret sharing (94A62)
Related Items (1)
Uses Software
This page was built for publication:
