.Process algebra and probabilistic methods : performance modeling and verification, second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002, proceedings /.,.
Process algebra and probabilistic methods : performance modeling and verification, second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002, proceedings /
edited by Michael Wills and Robert M. Hathaway ; in association with the The National Bureau of Asian Research..New security challenges in Asia /.Woodrow Wilson Center Press ;,c2013..