- Start
- Verification of Infinite-state Systems with Applications to Security
Verification of Infinite-state Systems with Applications to Security
Angebote / Angebote:
Provides information for researchers interested in the development of mathematical techniques for the analysis of infinite state systems. The papers come from a successful workshop.
Folgt in ca. 15 Arbeitstagen