Cita APA (7a ed.)
Juan, E. Y., & Tsai, J. J. Compositional Verification of Concurrent and Real-Time Systems. Kluwer.
Cita estilo Chicago (17a ed.)
Juan, Eric Y.T, y Jeffrey J.P Tsai. Compositional Verification of Concurrent and Real-Time Systems. Boston, EUA: Kluwer.
Cita MLA (9a ed.)
Juan, Eric Y.T, y Jeffrey J.P Tsai. Compositional Verification of Concurrent and Real-Time Systems. Kluwer.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.