%0 Conference Paper %1 conf/mmb/BergH20 %A van den Berg, Freek %A Haverkort, Boudewijn R. %B MMB %D 2020 %E Hermanns, Holger %I Springer %K dblp %P 242-258 %T A Tool for Requirements Analysis of Safety-Critical Cyber-Physical Systems. %U http://dblp.uni-trier.de/db/conf/mmb/mmb2020.html#BergH20 %V 12040 %@ 978-3-030-43024-5

@inproceedings{conf/mmb/BergH20, added-at = {2021-04-09T00:00:00.000+0200}, author = {van den Berg, Freek and Haverkort, Boudewijn R.}, biburl = {https://www.bibsonomy.org/bibtex/20abd53d9da237495411056231316a7d3/dblp}, booktitle = {MMB}, crossref = {conf/mmb/2020}, editor = {Hermanns, Holger}, ee = {https://doi.org/10.1007/978-3-030-43024-5_15}, interhash = {8958d86873672d2d1a53aaf0cba893e6}, intrahash = {0abd53d9da237495411056231316a7d3}, isbn = {978-3-030-43024-5}, keywords = {dblp}, pages = {242-258}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T03:15:12.000+0200}, title = {A Tool for Requirements Analysis of Safety-Critical Cyber-Physical Systems.}, url = {http://dblp.uni-trier.de/db/conf/mmb/mmb2020.html#BergH20}, volume = 12040, year = 2020 }