Peter Munk, Andreas Abele, Eike Thaden, Arne Nordmann, Rakshith Amarnath, Markus Schweizer, Simon Burton. Semi-automatic safety analysis and optimization. In Proceedings of the 55th Annual Design Automation Conference, DAC 2018, San Francisco, CA, USA, June 24-29, 2018. ACM, 2018. [doi]
@inproceedings{MunkATNASB18, title = {Semi-automatic safety analysis and optimization}, author = {Peter Munk and Andreas Abele and Eike Thaden and Arne Nordmann and Rakshith Amarnath and Markus Schweizer and Simon Burton}, year = {2018}, doi = {10.1145/3195970.3199857}, url = {http://doi.acm.org/10.1145/3195970.3199857}, researchr = {https://researchr.org/publication/MunkATNASB18}, cites = {0}, citedby = {0}, booktitle = {Proceedings of the 55th Annual Design Automation Conference, DAC 2018, San Francisco, CA, USA, June 24-29, 2018}, publisher = {ACM}, }