Skip to Content
Wiki Logo
  • Courses
  • Events
  • Internships
  • Journals
  • Patents
  • Products
  • Projects
  • Publications
  • Talks
  • Theses
    • XWikiGuest
      SSO login

    • Home
    • Page Index
    • User Index
    • Application Index

    • Global
    • Languages
      • Default Language
    • What's New
    • Wiki Index
  • English
  • Italiano
  • Log-in
  1. Publication
  2. Verifiable Multi-agent Programs

Verifiable Multi-agent Programs

   page       BibTeX_logo.png       attach   
cover of the publication
pub-cover.jpg

Publications
search • all
Verifiable Multi-agent Programs
— status
published
— sort
paper in proceedings
who
— authors
Rafael H. Bordini  •  Michael Fisher  •  Willem Visser  •  Michael J. Wooldridge
— editors
Mehdi M. Dastani  •  Jürgen Dix  •  Amal El Fallah-Seghrouchni
where & when
— publication date
2004
— volume
Programming Multi-agent Systems
— series
Lecture Notes in Computer Science
— volume no.
3067
— pages
72–89
— number of pages
18
— publisher
Springer
URL
URL  •  PDF URL
— DOI
10.1007/978-3-540-25936-7_4
ISBN & ISSN
— ISBN
978-3-540-22180-7
APICe
— origin event
PROMAS 2003
— container publication
Programming Multi-Agent Systems
notes
— note
1st International Workshop (PROMAS 2003), Melbourne, Australia, 15 July 2003. Selected Revised and Invited Papers
Partita IVA: 01131710376 — Copyright © 2008–2026 APICe@DISI – PRIVACY
XWiki 17.10.13