Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 2. 2010
Xing, J.S. 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
Katoen, J.P. and van de Pol, J.C. and Stoelinga, M.I.A. and Timmer, M.
(2010)
A linear process-algebraic format for probabilistic systems with data.
In: Application of Concurrency to System Design, Tenth International Conference on, 21-25 Jun 2010, Braga, Portugal.
pp. 213-222.
IEEE Computer Society.
ISSN 1550-4808
ISBN 978-0-7695-4066-5
This list was generated on Thu May 24 06:53:10 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||