Author

Profile picture
Stanislas Nanchen
Computer Science Department, ETH Zürich
Zuerich, Switzerland
1 article by this author
Sort by:
Research Article
A Logic for Abstract State Machines
Robert Stärk, Stanislas Nanchen
10.3217/jucs-007-11-0980
 28-11-2001
 Unique: 340 | Total: 409  | Access Period:
 980-1005
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK