Results
|
1.
|
|
|
|
2.
|
|
|
|
3.
|
|
|
|
4.
|
|
|
|
5.
|
|
|
|
6.
|
|
|
|
7.
|
|
|
|
8.
|
|
|
|
9.
|
|
|
|
10.
|
|
|
|
11.
|
|
|
|
12.
|
|
|
|
13.
|
|
|
|
14.
|
|
|
|
15.
|
|
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 edited by Stan Budkowski, Ana Cavalli, Elie Najm by
- Budkowski, Stan
- Cavalli, Ana
- Najm, Elie
- IFIP TC/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (11th : 1998 : Paris, France), 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), IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification (18th : 1998 : Paris, France)
Publication details: Dordrecht ; Boston Kluwer Academic Publishers c1998
Availability: Items available for loan: Anna Centenary Library (1)Call number: 004.36 BUD.
|
|
16.
|
|
|
|
17.
|
|
|
|
18.
|
|
|
|
19.
|
|
|
|
20.
|
|
Formal methods for protocol engineering and distributed systems : FORTE XII/PSTV XIX'99 : IFIP TC6 WG6.1 joint international conference on formal description techniques for distributed systems and communication Protocols (FORTE XII) and protocol specification, testing, and verification (PSTV XIX) : October 5-8, 1999, Beijing, China edited by Jianping Wu, Samuel T. Chanson, Qiang Gao by
- Chanson, Samuel T
- Gao, Qiang
- Wu, Jianping
- IFIP TC/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (12th : 1999 : Beijing, China), IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (1999 : Beijing, China), IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification (19th : 1999 : Beijing, China)
Publication details: Dordrecht ; Boston Kluwer Academic 1999
Availability: Items available for loan: Anna Centenary Library (1)Call number: 005.13 WU.
|
|
21.
|
|
|
|
22.
|
|
|
|
23.
|
|
|
|
24.
|
|
|
|
25.
|
|
|
|
26.
|
|
|
|
27.
|
|
|