Verification of Infinite-state Systems with Applications to Security
BücherAngebote / 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