• Courses
  • Events
  • Internships
  • Journals
  • Products
  • Projects
  • Publications
  • Talks
  • Theses
    • XWikiGuest
      SSO login
    • Home
    • Page Index
    • User Index
    • Application Index
    • Global
    • Languages
      • Default Language
    • What's New
    • Wiki Index
  • Eng
  • Ita
  2. Course Project
  3. Modelli e metodi per la verifica dei sistemi multi-agente tramite model checking

Modelli e metodi per la verifica dei sistemi multi-agente tramite model checking

   page       attach   
Roberto Pasolini
outcomes
final report

Partita IVA: 01131710376 — Copyright © 2008–2024 APICe@DISI – PRIVACY
Powered by XWiki 15.10.5