@inproceedings{gross_formal_2017,
	title = {Formal specification and analysis approaches for spacecraft attitude control requirements},
	doi = {10/ghvz5b},
	booktitle = {2017 {IEEE} {Aerospace} {Conference}},
	publisher = {IEEE},
	author = {Gross, Kerianne H.},
	year = {2017},
	note = {tex.ids= grossFormalSpecificationAnalysis2017a, grossFormalSpecificationAnalysis2017b, grossFormalSpecificationAnalysis2017c, grossFormalSpecificationAnalysis2017d, grossFormalSpecificationAnalysis2017e, grossFormalSpecificationAnalysis2017f, grossFormalSpecificationAnalysis2017g, grossFormalSpecificationAnalysis2017h},
	pages = {1--11},
}

{"_id":"i3Rqq3z5GtZxNzbbn","bibbaseid":"gross-formalspecificationandanalysisapproachesforspacecraftattitudecontrolrequirements-2017","author_short":["Gross, K. H."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formal specification and analysis approaches for spacecraft attitude control requirements","doi":"10/ghvz5b","booktitle":"2017 IEEE Aerospace Conference","publisher":"IEEE","author":[{"propositions":[],"lastnames":["Gross"],"firstnames":["Kerianne","H."],"suffixes":[]}],"year":"2017","note":"tex.ids= grossFormalSpecificationAnalysis2017a, grossFormalSpecificationAnalysis2017b, grossFormalSpecificationAnalysis2017c, grossFormalSpecificationAnalysis2017d, grossFormalSpecificationAnalysis2017e, grossFormalSpecificationAnalysis2017f, grossFormalSpecificationAnalysis2017g, grossFormalSpecificationAnalysis2017h","pages":"1–11","bibtex":"@inproceedings{gross_formal_2017,\n\ttitle = {Formal specification and analysis approaches for spacecraft attitude control requirements},\n\tdoi = {10/ghvz5b},\n\tbooktitle = {2017 {IEEE} {Aerospace} {Conference}},\n\tpublisher = {IEEE},\n\tauthor = {Gross, Kerianne H.},\n\tyear = {2017},\n\tnote = {tex.ids= grossFormalSpecificationAnalysis2017a, grossFormalSpecificationAnalysis2017b, grossFormalSpecificationAnalysis2017c, grossFormalSpecificationAnalysis2017d, grossFormalSpecificationAnalysis2017e, grossFormalSpecificationAnalysis2017f, grossFormalSpecificationAnalysis2017g, grossFormalSpecificationAnalysis2017h},\n\tpages = {1--11},\n}\n\n","author_short":["Gross, K. H."],"key":"gross_formal_2017","id":"gross_formal_2017","bibbaseid":"gross-formalspecificationandanalysisapproachesforspacecraftattitudecontrolrequirements-2017","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["formal","specification","analysis","approaches","spacecraft","attitude","control","requirements","gross"],"title":"Formal specification and analysis approaches for spacecraft attitude control requirements","year":2017}