Cita APA

Castro, P. F., & Maibaum, T. S. E. (2012). Encapsulating deontic and branching time specifications. Web

Citación estilo Chicago

Castro, Pablo Francisco, and Thomas S. E. Maibaum. Encapsulating Deontic and Branching Time Specifications. 2012.

Cita MLA

Castro, Pablo Francisco, and Thomas S. E. Maibaum. Encapsulating Deontic and Branching Time Specifications. 2012.

Precaución: Estas citas no son 100% exactas.