%0 Thesis %1 phd/basesearch/Furst15 %A Fürst, Andreas %D 2015 %K dblp %T Formal development of a train control system using Event-B.

@phdthesis{phd/basesearch/Furst15, added-at = {2022-12-19T00:00:00.000+0100}, author = {Fürst, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/2b350c18c6d43c40037f020ca3407b9bd/dblp}, ee = {https://www.base-search.net/Record/852a173f52451cfce622e3b9c29a703d0c8e58e64a7b9583b7612c9e5c9d904c}, interhash = {3d428cc154f132d9ea195c799118ffe1}, intrahash = {b350c18c6d43c40037f020ca3407b9bd}, keywords = {dblp}, note = {base-search.net (ftethz:oai:www.research-collection.ethz.ch:20.500.11850/155331)}, school = {ETH Zurich, Zürich, Switzerland}, timestamp = {2024-04-09T09:19:55.000+0200}, title = {Formal development of a train control system using Event-B.}, year = 2015 }