%0 Conference Paper %1 conf/edcc/AdelsbergerIMSS18 %A Adelsberger, Stephan %A Igried, Bashar %A Moser, Markus %A Savenkov, Vadim %A Setzer, Anton %B EDCC %D 2018 %I IEEE Computer Society %K dblp %P 173-181 %T Formal Verification for Feature-Based Composition of Workflows. %U http://dblp.uni-trier.de/db/conf/edcc/edcc2018.html#AdelsbergerIMSS18 %@ 978-1-5386-8060-5

@inproceedings{conf/edcc/AdelsbergerIMSS18, added-at = {2023-09-30T00:00:00.000+0200}, author = {Adelsberger, Stephan and Igried, Bashar and Moser, Markus and Savenkov, Vadim and Setzer, Anton}, biburl = {https://www.bibsonomy.org/bibtex/2590f11f06b4e14e6cec5faaaadd46ceb/dblp}, booktitle = {EDCC}, crossref = {conf/edcc/2018}, ee = {https://doi.ieeecomputersociety.org/10.1109/EDCC.2018.00039}, interhash = {609bd3b6621b4dc244bcb697fc7340f1}, intrahash = {590f11f06b4e14e6cec5faaaadd46ceb}, isbn = {978-1-5386-8060-5}, keywords = {dblp}, pages = {173-181}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T12:15:33.000+0200}, title = {Formal Verification for Feature-Based Composition of Workflows.}, url = {http://dblp.uni-trier.de/db/conf/edcc/edcc2018.html#AdelsbergerIMSS18}, year = 2018 }