Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 4. 2006
Rensink, A.
(2006)
Model Checking Quantified Computation Tree Logic.
In: Concurrency Theory (CONCUR), 27-30 Aug 2006, Bonn, Germany.
pp. 110-125.
Lecture Notes in Computer Science 4137.
Springer-Verlag.
ISBN 3-540-37376-4
Baier, C. and Hermanns, H., ed.
(2006)
CONCUR 2006 [Concurrency Theory, 16th International Conference].
Lecture Notes in Computer Science 4137.
Springer Verlag, Berlin.
ISBN 3-540-37376-4
2004
Baier, C. and Haverkort, B.R.H.M. and Katoen, J.P. and Hermanns, H. and Siegle, M., ed.
(2004)
Validation of Stochastic Systems.
Lecture Notes in Computer Science 2925.
Springer-Verlag.
ISBN 3-540-22265-0
1999
D'Argenio, P.R. and Hermanns, H. and Katoen, J.P.
(1999)
On Generative Parallel Composition.
In: PROBMIV'98, First International Workshop on Probabilistic Methods in Verification, 19 - 20 June 1998, Indianapolis, Indiana.
pp. 30-54.
Electronic Notes in Theoretical Computer Science 22.
Elsevier.
ISSN 1571-0661
This list was generated on Thu May 24 05:27:15 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||