The hidden computation steps of turbo Abstract State Machines (0)

by N G Fruja, R F Stärk
Venue:Abstract State Machines 2003–Advances in Theory and Applications, volume 2589 of Lecture Notes in Computer Science