Search Results ((keywords_en:ABSTRACT STATE MACHINES)) - ETH E-Collection

Skip to main content
Skip to navigation
Skip to toolbar

2 Results for (keywords_en:ABSTRACT STATE MACHINES)

Subscribe to RSS feed for this result set

Sort results by

Results per page

1. A security logic for abstract state machines

Nanchen, Stanislas and Stärk, Robert F. (2003)

Reports Reports

2. ASM Semantics for C♯ 2.0

Jula, Horatiu V. (2005)

Reports Reports