Home > Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII’98 IFIP TC6 WG6. 1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII’98 IFIP TC6 WG6. 1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France
Book Informaton
Author
Stan Budkowski; Ana Cavalli; Elie Najm
Series
IFIP Advances in Information and Communication Technology
Year of Publication
1998
Publisher
Springer US
City of Publication
Boston
Pages
XVI, 472
Language
EN
ISBN
9780412847608, 9780387353944, 0412847604
ARI Id
1664085642947
This page has been accessed 6 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 39 entries
Chapters/Headings | Author(s) | Pages | Info |
i-xi | |||
1-1 | |||
3-18 | |||
19-36 | |||
37-55 | |||
57-57 | |||
59-74 | |||
75-90 | |||
91-91 | |||
93-109 | |||
111-126 | |||
127-140 | |||
145-145 | |||
147-162 | |||
163-178 | |||
179-179 | |||
181-196 | |||
197-212 | |||
213-213 | |||
215-230 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 39 entries