Specifying Transaction Control to Serialize Concurrent Program Executions.

MLA

Börger, Egon, and Klaus-Dieter Schewe. “Specifying Transaction Control to Serialize Concurrent Program Executions.” Abstract State Machines, Alloy, B, TLA, VDM & Z, Jan. 2014, pp. 142–57. EBSCOhost, https://doi.org/10.1007/978-3-662-43652-3_13.

APA

Börger, E., & Schewe, K.-D. (2014). Specifying Transaction Control to Serialize Concurrent Program Executions. Abstract State Machines, Alloy, B, TLA, VDM & Z, 142–157. https://doi.org/10.1007/978-3-662-43652-3_13

Chicago

Börger, Egon, and Klaus-Dieter Schewe. 2014. “Specifying Transaction Control to Serialize Concurrent Program Executions.” Abstract State Machines, Alloy, B, TLA, VDM & Z, January, 142–57. doi:10.1007/978-3-662-43652-3_13.