Schultz, W., Ashton, E., Howard, H., & Tripakis, S. (2024). Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition.
Citazione stile Chigago Style (17a edizione)Schultz, William, Edward Ashton, Heidi Howard, e Stavros Tripakis. Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition. 2024.
Citatione MLA (9a ed.)Schultz, William, et al. Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition. 2024.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.