Skip to main navigation Skip to search Skip to main content

Formal Analysis of Meeting Protocols

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationMABS
EditorsP. Davidsson, B. Logan, K. Takadama
PublisherSpringer
Pages114-129
ISBN (Print)3540252622, 9783540252627
Publication statusPublished - 2005

Publication series

NameLecture Notes in Computer Science

Bibliographical note

conf/mabs/JonkerSTY04

Cite this