Sciweavers

1870 search results - page 13 / 374
» Abstract And-Parallel Machines
Sort
View
CSL
2001
Springer
14 years 12 days ago
A Logic for Abstract State Machines
Robert F. Stärk, Stanislas Nanchen