@article{journals/corr/BarnatBBBBK15,
  author = {Barnat, Jiri and Bauch, Petr and Benes, Nikola and Brim, Lubos and Beran, Jan and Kratochvila, Tomas},
  ee = {http://arxiv.org/abs/1510.02669},
  interhash = {ff24901da2fb26d2b4484956baf7b238},
  intrahash = {9b2369489f0bd03fa71d83d252dfbff3},
  journal = {CoRR},
  title = {Analysing Sanity of Requirements for Avionics Systems (Preliminary Version).},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1510.html#BarnatBBBBK15},
  volume = {abs/1510.02669},
  year = 2015
}

{"_id":"uDuSDTGACLrutqevR","bibbaseid":"barnat-bauch-benes-brim-beran-kratochvila-analysingsanityofrequirementsforavionicssystemspreliminaryversion-2015","downloads":0,"creationDate":"2017-04-26T09:41:24.021Z","title":"Analysing Sanity of Requirements for Avionics Systems (Preliminary Version).","author_short":["Barnat, J.","Bauch, P.","Benes, N.","Brim, L.","Beran, J.","Kratochvila, T."],"year":2015,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Lubos Brim?items=1000","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Barnat"],"firstnames":["Jiri"],"suffixes":[]},{"propositions":[],"lastnames":["Bauch"],"firstnames":["Petr"],"suffixes":[]},{"propositions":[],"lastnames":["Benes"],"firstnames":["Nikola"],"suffixes":[]},{"propositions":[],"lastnames":["Brim"],"firstnames":["Lubos"],"suffixes":[]},{"propositions":[],"lastnames":["Beran"],"firstnames":["Jan"],"suffixes":[]},{"propositions":[],"lastnames":["Kratochvila"],"firstnames":["Tomas"],"suffixes":[]}],"ee":"http://arxiv.org/abs/1510.02669","interhash":"ff24901da2fb26d2b4484956baf7b238","intrahash":"9b2369489f0bd03fa71d83d252dfbff3","journal":"CoRR","title":"Analysing Sanity of Requirements for Avionics Systems (Preliminary Version).","url":"http://dblp.uni-trier.de/db/journals/corr/corr1510.html#BarnatBBBBK15","volume":"abs/1510.02669","year":"2015","bibtex":"@article{journals/corr/BarnatBBBBK15,\n author = {Barnat, Jiri and Bauch, Petr and Benes, Nikola and Brim, Lubos and Beran, Jan and Kratochvila, Tomas},\n ee = {http://arxiv.org/abs/1510.02669},\n interhash = {ff24901da2fb26d2b4484956baf7b238},\n intrahash = {9b2369489f0bd03fa71d83d252dfbff3},\n journal = {CoRR},\n title = {Analysing Sanity of Requirements for Avionics Systems (Preliminary Version).},\n url = {http://dblp.uni-trier.de/db/journals/corr/corr1510.html#BarnatBBBBK15},\n volume = {abs/1510.02669},\n year = 2015\n}\n\n","author_short":["Barnat, J.","Bauch, P.","Benes, N.","Brim, L.","Beran, J.","Kratochvila, T."],"key":"journals/corr/BarnatBBBBK15","id":"journals/corr/BarnatBBBBK15","bibbaseid":"barnat-bauch-benes-brim-beran-kratochvila-analysingsanityofrequirementsforavionicssystemspreliminaryversion-2015","role":"author","urls":{"Link":"http://arxiv.org/abs/1510.02669","Paper":"http://dblp.uni-trier.de/db/journals/corr/corr1510.html#BarnatBBBBK15"},"downloads":0},"search_terms":["analysing","sanity","requirements","avionics","systems","preliminary","version","barnat","bauch","benes","brim","beran","kratochvila"],"keywords":[],"authorIDs":[],"dataSources":["p3eYfeCrFbWKtvZc8"]}