Satellite rendezvous and conjunction avoidance: Case studies in verification of nonlinear hybrid systems (bibtex)

by Taylor T. Johnson, J Green, S Mitra, R Dudley and RS Erwin

Reference:

Taylor T. Johnson, J Green, S Mitra, R Dudley and RS Erwin, "Satellite rendezvous and conjunction avoidance: Case studies in verification of nonlinear hybrid systems", In International Symposium on Formal Methods (FM'12), Springer, pp. 252–266, 2012.

Bibtex Entry:

@inproceedings{johnson2012fm,
  title = {Satellite rendezvous and conjunction avoidance: Case studies in verification of nonlinear hybrid systems},
  author = {Taylor T. Johnson and J Green and S Mitra and R Dudley and RS Erwin},
  year = {2012},
  month = aug,
  booktitle = {International Symposium on Formal Methods (FM'12)},
  volume = {7436},
  pages = {252--266},
  publisher = {Springer},
  doi = {10.1007/978-3-642-32759-9_22},
  publabel = {C5},
  pubtype = {C},
  gsid = {6661230319939383532},
  dblp = {conf/fm/JohnsonGMDE12},
  s2id = {12530299},
  pdf = "research/johnson2012fm.pdf",
}