%0 Journal Article %1 journals/fac/MukherjeeS93 %A Mukherjee, Paul %A Stavridou, Victoria %D 1993 %J Formal Aspects Comput. %K dblp %N 4 %P 299-336 %T The Formal Specification of Safety Requirements for Storing Explosives. %U http://dblp.uni-trier.de/db/journals/fac/fac5.html#MukherjeeS93 %V 5

@article{journals/fac/MukherjeeS93, added-at = {2022-05-09T00:00:00.000+0200}, author = {Mukherjee, Paul and Stavridou, Victoria}, biburl = {https://www.bibsonomy.org/bibtex/21775745c47f4acc90472d764fe73b07f/dblp}, ee = {https://doi.org/10.1007/BF01212405}, interhash = {9ce374e90ba19e3ceb11e3e7e92280ea}, intrahash = {1775745c47f4acc90472d764fe73b07f}, journal = {Formal Aspects Comput.}, keywords = {dblp}, number = 4, pages = {299-336}, timestamp = {2024-04-09T05:37:43.000+0200}, title = {The Formal Specification of Safety Requirements for Storing Explosives.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac5.html#MukherjeeS93}, volume = 5, year = 1993 }