%0 Conference Paper %1 conf/ftscs/HavelundJ14 %A Havelund, Klaus %A Joshi, Rajeev %B FTSCS %D 2014 %E Artho, Cyrille %E Ölveczky, Peter Csaba %I Springer %K dblp %P 1-16 %T Experience with Rule-Based Analysis of Spacecraft Logs. %U http://dblp.uni-trier.de/db/conf/ftscs/ftscs2014.html#HavelundJ14 %V 476 %@ 978-3-319-17580-5

@inproceedings{conf/ftscs/HavelundJ14, added-at = {2016-02-05T00:00:00.000+0100}, author = {Havelund, Klaus and Joshi, Rajeev}, biburl = {https://www.bibsonomy.org/bibtex/20754b2c9ac4a07d70bfc81b106d11a74/dblp}, booktitle = {FTSCS}, crossref = {conf/ftscs/2014}, editor = {Artho, Cyrille and Ölveczky, Peter Csaba}, ee = {http://dx.doi.org/10.1007/978-3-319-17581-2_1}, interhash = {f8398f697c9d9c1e61897049a1288157}, intrahash = {0754b2c9ac4a07d70bfc81b106d11a74}, isbn = {978-3-319-17580-5}, keywords = {dblp}, pages = {1-16}, publisher = {Springer}, series = {Communications in Computer and Information Science}, timestamp = {2016-02-06T11:51:42.000+0100}, title = {Experience with Rule-Based Analysis of Spacecraft Logs.}, url = {http://dblp.uni-trier.de/db/conf/ftscs/ftscs2014.html#HavelundJ14}, volume = 476, year = 2014 }