%0 Thesis %1 phd/ethos/SalehiFathabadi12 %A Fathabadi, Asieh Salehi %D 2012 %K dblp %T An approach to atomicity decomposition in the Event-B formal method.

@phdthesis{phd/ethos/SalehiFathabadi12, added-at = {2022-04-05T00:00:00.000+0200}, author = {Fathabadi, Asieh Salehi}, biburl = {https://www.bibsonomy.org/bibtex/22689d2a5fba073d3d4e03f51c0659769/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561563}, interhash = {8a3d75f0a9494694b90190523f1b82c8}, intrahash = {2689d2a5fba073d3d4e03f51c0659769}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Southampton, UK}, timestamp = {2024-04-09T08:45:11.000+0200}, title = {An approach to atomicity decomposition in the Event-B formal method.}, year = 2012 }