danesabo/Obsidian
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

vault backup: 2024-11-11 09:54:36

Browse Source
This commit is contained in:
Dane Sabo 2024-11-11 09:54:36 -05:00
parent 557c206cb0
commit 659d384f46
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
201 Metadata/My Library.bib
View File

@ -7011,7 +7011,8 @@ Regulatory Premises.pdf}
urldate = {2024-11-11}, urldate = {2024-11-11},
eventtitle = {{{AIAA Scitech}} 2021 {{Forum}}}, eventtitle = {{{AIAA Scitech}} 2021 {{Forum}}},
isbn = {978-1-62410-609-5}, 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, @online{LangleyFormalMethods,