Sciweavers

1874 search results - page 12 / 375
» Abstract Machine for LDL
Sort
View
CSL
2001
Springer
14 years 33 min ago
A Logic for Abstract State Machines
Robert F. Stärk, Stanislas Nanchen