Previous Up

References

[DLS02]
Dennis Dams, Yassine Lakhnech, and Martin Steffen. Iterating transducers. Journal of Logic and Algebraic Programming, special issue on Model Checking, 52–53:109–127 (19 pages), July 2002. This is an extended version of the conference version under the same title, Computer Aided Verification (CAV’01), LNCS 2102.
At least 0 things still to fix!

Previous Up