%0 Journal Article %1 journals/fac/BarnatBBBBK16 %A Barnat, Jiri %A Bauch, Petr %A Benes, Nikola %A Brim, Lubos %A Beran, Jan %A Kratochvila, Tomas %D 2016 %J Formal Aspects Comput. %K dblp %N 1 %P 45-63 %T Analysing sanity of requirements for avionics systems. %U http://dblp.uni-trier.de/db/journals/fac/fac28.html#BarnatBBBBK16 %V 28

@article{journals/fac/BarnatBBBBK16, added-at = {2022-10-02T00: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/2f0fdf1bead62b4a0c673173477525bf9/dblp}, ee = {https://doi.org/10.1007/s00165-015-0348-9}, interhash = {8ee7499b329f3bd541ebd9a34689e80e}, intrahash = {f0fdf1bead62b4a0c673173477525bf9}, journal = {Formal Aspects Comput.}, keywords = {dblp}, number = 1, pages = {45-63}, timestamp = {2024-04-09T05:37:43.000+0200}, title = {Analysing sanity of requirements for avionics systems.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac28.html#BarnatBBBBK16}, volume = 28, year = 2016 }