Simin Nadjm-Tehrani, Jan-Erik Strömberg. Formal Verification of Dynamic Properties in an Aerospace Application. Formal Methods in System Design, 14(2):135-169, 1999.
@article{Nadjm-TehraniS99,
title = {Formal Verification of Dynamic Properties in an Aerospace Application},
author = {Simin Nadjm-Tehrani and Jan-Erik Strömberg},
year = {1999},
researchr = {https://researchr.org/publication/Nadjm-TehraniS99},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {14},
number = {2},
pages = {135-169},
}