%0 Journal Article %1 journals/corr/BarnatBBBBK15 %A Barnat, Jiri %A Bauch, Petr %A Benes, Nikola %A Brim, Lubos %A Beran, Jan %A Kratochvila, Tomas %D 2015 %J CoRR %K dblp %T Analysing Sanity of Requirements for Avionics Systems (Preliminary Version). %U http://dblp.uni-trier.de/db/journals/corr/corr1510.html#BarnatBBBBK15 %V abs/1510.02669

@article{journals/corr/BarnatBBBBK15, added-at = {2018-08-13T00:00:00.000+0200}, author = {Barnat, Jiri and Bauch, Petr and Benes, Nikola and Brim, Lubos and Beran, Jan and Kratochvila, Tomas}, biburl = {https://www.bibsonomy.org/bibtex/29b2369489f0bd03fa71d83d252dfbff3/dblp}, ee = {http://arxiv.org/abs/1510.02669}, interhash = {ff24901da2fb26d2b4484956baf7b238}, intrahash = {9b2369489f0bd03fa71d83d252dfbff3}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T13:31:09.000+0200}, 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 }