%0 Conference Paper %1 conf/ifm/BohlenderK18 %A Bohlender, Dimitri %A Kowalewski, Stefan %B IFM %D 2018 %E Furia, Carlo A. %E Winter, Kirsten %I Springer %K dblp %P 47-68 %T Design and Verification of Restart-Robust Industrial Control Software. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2018.html#BohlenderK18 %V 11023 %@ 978-3-319-98938-9

@inproceedings{conf/ifm/BohlenderK18, added-at = {2018-08-22T00:00:00.000+0200}, author = {Bohlender, Dimitri and Kowalewski, Stefan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ce56bff3ac5a13a81d5c519067d734ac/dblp}, booktitle = {IFM}, crossref = {conf/ifm/2018}, editor = {Furia, Carlo A. and Winter, Kirsten}, ee = {https://doi.org/10.1007/978-3-319-98938-9_4}, interhash = {e5504263b844d88d01f8d85c65027d10}, intrahash = {ce56bff3ac5a13a81d5c519067d734ac}, isbn = {978-3-319-98938-9}, keywords = {dblp}, pages = {47-68}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T16:04:33.000+0200}, title = {Design and Verification of Restart-Robust Industrial Control Software.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2018.html#BohlenderK18}, volume = 11023, year = 2018 }