%0 Thesis %1 hon2009engineeringoriented %A Hon, Yuen-Man %D 2009 %K %T An engineering-oriented formal framework for railway interlocking systems requirements specifications

@phdthesis{hon2009engineeringoriented, added-at = {2023-12-12T22:59:41.000+0100}, author = {Hon, Yuen-Man}, biburl = {https://www.bibsonomy.org/bibtex/2e140262f0fb202d447ac871d487f217e/admin}, dnbtitleid = {100007210X}, interhash = {50dcd8084a5f24efa4f21a4adbece087}, intrahash = {e140262f0fb202d447ac871d487f217e}, keywords = {}, school = {TU Braunschweig}, timestamp = {2023-12-12T22:59:41.000+0100}, title = {An engineering-oriented formal framework for railway interlocking systems requirements specifications}, year = 2009 }