IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocol and Protocol Specification, Testing, and Verification (1998 Paris, France)
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.
OL236933A
Overview
Catalog identity and bibliographic footprint for this author.
1 representative edition
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Source identifier
Featured books
Representative editions for works actually authored by this person.
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Formal description techniques and protocol specification, testing, and verification