CITATION STYLE
Tan, Q. M., & Petrenko, A. (1998). Test Generation for Specifications Modeled by Input/Output Automata. In Testing of Communicating Systems (pp. 83–99). Springer US. https://doi.org/10.1007/978-0-387-35381-4_6
Mendeley helps you to discover research relevant for your work.