%0 Conference Paper %1 conf/se/KnuppelJNRTS21 %A Knüppel, Alexander %A Jatzkowski, Inga %A Nolte, Marcus %A Runge, Tobias %A Thüm, Thomas %A Schaefer, Ina %B Software Engineering %D 2021 %E Koziolek, Anne %E Schaefer, Ina %E Seidl, Christoph %I Gesellschaft für Informatik e.V. %K dblp %P 67-68 %T Skill-Based Verification of Cyber-Physical Systems. %U http://dblp.uni-trier.de/db/conf/se/se2021.html#KnuppelJNRTS21 %V P-310 %@ 978-3-88579-704-3

@inproceedings{conf/se/KnuppelJNRTS21, added-at = {2021-02-18T00:00:00.000+0100}, author = {Knüppel, Alexander and Jatzkowski, Inga and Nolte, Marcus and Runge, Tobias and Thüm, Thomas and Schaefer, Ina}, biburl = {https://www.bibsonomy.org/bibtex/248b36ad0b6300ec2196a514fb7d0b734/dblp}, booktitle = {Software Engineering}, crossref = {conf/se/2021}, editor = {Koziolek, Anne and Schaefer, Ina and Seidl, Christoph}, ee = {https://doi.org/10.18420/SE2021_22}, interhash = {3486bf4b11e648033e310bd42a45b774}, intrahash = {48b36ad0b6300ec2196a514fb7d0b734}, isbn = {978-3-88579-704-3}, keywords = {dblp}, pages = {67-68}, publisher = {Gesellschaft für Informatik e.V.}, series = {LNI}, timestamp = {2024-04-09T13:03:33.000+0200}, title = {Skill-Based Verification of Cyber-Physical Systems.}, url = {http://dblp.uni-trier.de/db/conf/se/se2021.html#KnuppelJNRTS21}, volume = {P-310}, year = 2021 }