Joshua A. Tauber. Verifiable compilation of input-output automata without global synchronization. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA, USA, 2005. [doi]
No references recorded for this publication.
No citations of this publication recorded.