APA (7th ed.) Citation

Attie, P. C., & Lynch, N. A. (2016, April 20). Dynamic Input/Output Automata: A Formal and Compositional Model for Dynamic Systems. arXiv.org. https://doi.org/10.48550/arxiv.1604.06030

Chicago Style (17th ed.) Citation

Attie, Paul C., and Nancy A. Lynch. "Dynamic Input/Output Automata: A Formal and Compositional Model for Dynamic Systems." ArXiv.org 20 Apr. 2016. https://doi.org/10.48550/arxiv.1604.06030.

MLA (9th ed.) Citation

Attie, Paul C., and Nancy A. Lynch. "Dynamic Input/Output Automata: A Formal and Compositional Model for Dynamic Systems." ArXiv.org, 20 Apr. 2016, https://doi.org/10.48550/arxiv.1604.06030.