Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

Classification: CR-B.8
Home Policy Brochure Browse Search User Area Contact Help


Xing, Jian Sheng and Theelen, B.D. and Langerak, R. and van de Pol, J.C. and Tretmans, G.J. and Voeten, J.P.M. (2010) From POOSL to UPPAAL: Transformation and Quantitative Analysis. In: Application of Concurrency to System Design, Tenth International Conference on, 21-25 Jun 2010, Braga, Portugal. pp. 47-56. IEEE Computer Society. ISSN 1550-4808 ISBN 978-0-7695-4066-5


Bader, A. and Westberg, L. and Karagiannis, G. and Kappler, C. and Phelan, T. (2007) RMD-QOSM - The Resource Management in Diffserv QOS Model. IETF Internet draft draft-ietf-nsis-rmd-12 Internet Engineering Task Force (IETF), USA.
Chan, K. and Karagiannis, G. (2007) Pre-Congestion Notification Encoding Comparison. IETF Internet draft draft-chan-pcn-encoding-comparison-01 Internet Engineering Task Force (IETF), USA.
Westberg, L. and Bhargava, A. and Bader, A. and Karagiannis, G. (2007) LC-PCN: The Load Control PCN Solution. IETF Internet draft draft-westberg-pcn-load-control-02 Internet Engineering Task Force (IETF), USA.