PNPM'99
PNPM'99
(Zaragoza, Spain,
September 6-10, 1999
)
Official Workshop Web Site
List of accepted papers now available from official web site.
Extended deadline:
19th February 1999
PNPM'99 is held together with:
Workshop on Process Algebras and Performance Models
(PAPM'99)
Workshop on the Numerical Solution of Markov Chains
(NSMC'99)
Prior to PNPM'99, PAPM'99, and NSMC'99 there are the following events:
Workshop on Formal Methods and Manufacturing
Workshop on Formal Methods in Telecommunications
See also
Multi-Workshop on Formal Methods in Performance Evaluation and Applications
The maintainers
of this page