Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 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 07:01:09 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||