Author|Conference|Journal|Year
Look for results that meet for the following criteria:
ObjectID : Paper/2415348
Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools
- 2006
(Citations: 1)
Davide Cerotti, Davide D'aprile, Susanna Donatelli, Jeremy Sproston
Conference: Int. Conf. on Application of Concurrency to System Design - ACSD
View or Download
The following links allow you to view and download full papers. These links are maintained by other sources not affiliated with Microsoft Academic Search.
Microsoft Research Asia | Help | Feedback | Specific Terms
©2010 Microsoft Corporation. All rights reserved. Terms of Use | Trademarks | Privacy Statement