Castro, P. F., & Maibaum, T. S. E. (2012). Encapsulating deontic and branching time specifications. Web
Citación estilo ChicagoCastro, Pablo Francisco, and Thomas S. E. Maibaum. Encapsulating Deontic and Branching Time Specifications. 2012.
Cita MLACastro, Pablo Francisco, and Thomas S. E. Maibaum. Encapsulating Deontic and Branching Time Specifications. 2012.
Precaución: Estas citas no son 100% exactas.