Skip to content

On the Translation of Procedures to Finite Machines.

Markus Mller-Olm, Andreas Wolf

VenueAESOP
Year2000
ProceedingsESOP

Browse the full ESOP paper archive.