Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 2. 2007
Kuntz, G.W.M. and Haverkort, B.R.H.M.
(2007)
Faster SPDL Model Checking Through Property-Driven State Space Generation.
In: Proceedings of the Fourth European Performance Engineering Workshop, EPEW 2007, 27-28 Sept 2007, Berlin, Germany.
pp. 80-96.
Lecture Notes in Computer Science 4748.
Springer Verlag.
ISBN 978-3-540-75210-3
Sadre, R. and Haverkort, B.R.H.M. and Reinelt, P.
(2007)
A Fixed-Point Algorithm for Closed Queueing Networks.
In: Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, EPEW 2007, 27-28 September 2007, Berlin, Germany.
pp. 154-170.
Lecture Notes in Computer Science 4748.
Springer.
ISSN 0302-9743
ISBN 978-3-540-75210-3
This list was generated on Thu May 24 08:43:35 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||