researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Conference series
forte 2000: FMOODS/FORTE 2000
in ,
Conference
Call for Papers
Program
About the Conference
Conference Dates
Proceedings
Tommaso Bolognesi
,
Diego Latella
, editors,
Formal Techniques for Distributed System Development, FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and
.
Volume 183 of
IFIP Conference Proceedings
, Kluwer,
2000.