%0 Conference Paper %1 conf/icfem/HavelundJ14 %A Havelund, Klaus %A Joshi, Rajeev %B ICFEM %D 2014 %E Merz, Stephan %E Pang, Jun %I Springer %K dblp %P 187-202 %T Comprehension of Spacecraft Telemetry Using Hierarchical Specifications of Behavior. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2014.html#HavelundJ14 %V 8829 %@ 978-3-319-11736-2

@inproceedings{conf/icfem/HavelundJ14, added-at = {2017-05-21T00:00:00.000+0200}, author = {Havelund, Klaus and Joshi, Rajeev}, biburl = {https://www.bibsonomy.org/bibtex/299d0aa5fb54d35023aae7c85cab7d147/dblp}, booktitle = {ICFEM}, crossref = {conf/icfem/2014}, editor = {Merz, Stephan and Pang, Jun}, ee = {https://doi.org/10.1007/978-3-319-11737-9_13}, interhash = {ac61b952a5414c37dadf7bc24e6dedf0}, intrahash = {99d0aa5fb54d35023aae7c85cab7d147}, isbn = {978-3-319-11736-2}, keywords = {dblp}, pages = {187-202}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-03T11:38:03.000+0200}, title = {Comprehension of Spacecraft Telemetry Using Hierarchical Specifications of Behavior.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2014.html#HavelundJ14}, volume = 8829, year = 2014 }