@article{YJOR_2009_19_1_a9,
     author = {Milena Vujo\v{s}evi\'c-Jani\v{c}i\'c and Filip Mari\'c and Du\v{s}an To\v{s}i\'c},
     title = {Using {Simplex} {Method} in {Verifying} {Software} {Safety}},
     journal = {Yugoslav journal of operations research},
     pages = {133 },
     publisher = {mathdoc},
     volume = {19},
     number = {1},
     year = {2009},
     zbl = {1274.90227},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/YJOR_2009_19_1_a9/}
}