IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification (2000 Pisa, Italy)

Author detail

1 featured book

Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.

OL5647838A

Overview

Catalog identity and bibliographic footprint for this author.

1 representative edition

Author pages in Bookitis are intended to show only works actually attributed to the author and a representative edition for each of those works.

How this author appears inside the active Bookitis catalog.

Display name
IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification (2000 Pisa, Italy)
Source identifier
OL5647838A

Representative editions for works actually authored by this person.

Quick navigation into the work-level grouping pages behind the featured books.

Formal methods for distributed system development
Representative edition published 2000
Open Work