%0 Journal Article %1 journals/tse/DamasLL14 %A Damas, Christophe %A Lambeau, Bernard %A van Lamsweerde, Axel %D 2014 %J IEEE Trans. Software Eng. %K dblp %N 4 %P 338-365 %T Analyzing Critical Decision-Based Processes. %U http://dblp.uni-trier.de/db/journals/tse/tse40.html#DamasLL14 %V 40

@article{journals/tse/DamasLL14, added-at = {2015-12-10T00:00:00.000+0100}, author = {Damas, Christophe and Lambeau, Bernard and van Lamsweerde, Axel}, biburl = {https://www.bibsonomy.org/bibtex/2c2aed6b558812426eb3db2b0f920bd8d/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2014.2312954}, interhash = {176b7109cf80b7ebf66a7b6da51c07a2}, intrahash = {c2aed6b558812426eb3db2b0f920bd8d}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 4, pages = {338-365}, timestamp = {2015-12-12T11:43:24.000+0100}, title = {Analyzing Critical Decision-Based Processes.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse40.html#DamasLL14}, volume = 40, year = 2014 }