%0 Conference Paper %1 conf/fm/LutebergetJFS16 %A Luteberget, Bjørnar %A Johansen, Christian %A Feyling, Claus %A Steffen, Martin %B FM %D 2016 %E Fitzgerald, John S. %E Heitmeyer, Constance L. %E Gnesi, Stefania %E Philippou, Anna %K dblp %P 772-778 %T Rule-Based Incremental Verification Tools Applied to Railway Designs and Regulations. %U http://dblp.uni-trier.de/db/conf/fm/fm2016.html#LutebergetJFS16 %V 9995 %@ 978-3-319-48988-9

@inproceedings{conf/fm/LutebergetJFS16, added-at = {2023-09-30T00:00:00.000+0200}, author = {Luteberget, Bjørnar and Johansen, Christian and Feyling, Claus and Steffen, Martin}, biburl = {https://www.bibsonomy.org/bibtex/249610b028f729c65a3207641f8b2612a/dblp}, booktitle = {FM}, crossref = {conf/fm/2016}, editor = {Fitzgerald, John S. and Heitmeyer, Constance L. and Gnesi, Stefania and Philippou, Anna}, ee = {https://doi.org/10.1007/978-3-319-48989-6_49}, interhash = {2d43411a9912c1b6903542acb619b73f}, intrahash = {49610b028f729c65a3207641f8b2612a}, isbn = {978-3-319-48988-9}, keywords = {dblp}, pages = {772-778}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T06:12:50.000+0200}, title = {Rule-Based Incremental Verification Tools Applied to Railway Designs and Regulations.}, url = {http://dblp.uni-trier.de/db/conf/fm/fm2016.html#LutebergetJFS16}, volume = 9995, year = 2016 }