%0 Thesis %1 phd/ethos/Domingo91 %A Domingo, Lizza Tandoc %D 1991 %K dblp %T Formal methods in specifying discrete event simulation models.

@phdthesis{phd/ethos/Domingo91, added-at = {2022-04-05T00:00:00.000+0200}, author = {Domingo, Lizza Tandoc}, biburl = {https://www.bibsonomy.org/bibtex/2c422c2bd6f0efbc9a7bc8ff2ca48bc1b/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.263339}, interhash = {e7896497b1cc8baf8529c380e41ad7ff}, intrahash = {c422c2bd6f0efbc9a7bc8ff2ca48bc1b}, keywords = {dblp}, note = {British Library, EThOS}, school = {London School of Economics, UK}, timestamp = {2024-04-09T08:57:32.000+0200}, title = {Formal methods in specifying discrete event simulation models.}, year = 1991 }