From 659d384f462499068ed42f255f949f6f7a1e70d9 Mon Sep 17 00:00:00 2001
From: Dane Sabo <dane.sabo@pitt.edu>
Date: Mon, 11 Nov 2024 09:54:36 -0500
Subject: [PATCH] vault backup: 2024-11-11 09:54:36

---
 201 Metadata/My Library.bib | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/201 Metadata/My Library.bib b/201 Metadata/My Library.bib
index e06d791f9..b042c7db4 100644
--- a/201 Metadata/My Library.bib	
+++ b/201 Metadata/My Library.bib	
@@ -7011,7 +7011,8 @@ Regulatory Premises.pdf}
   urldate = {2024-11-11},
   eventtitle = {{{AIAA Scitech}} 2021 {{Forum}}},
   isbn = {978-1-62410-609-5},
-  langid = {english}
+  langid = {english},
+  file = {/home/danesabo/Zotero/storage/IR3BDVLE/Lang et al. - 2021 - Formal Verification Applied to Spacecraft Attitude Control.pdf}
 }
 
 @online{LangleyFormalMethods,