%0 Conference Paper %1 conf/itaero/0002EFP12 %A Gerke, Michael %A Ehlers, Rüdiger %A Finkbeiner, Bernd %A Peter, Hans-Jörg %B Infotech@Aerospace %D 2012 %K %T FlexRay for Avionics: Automatic Verification with Parametric Physical Layers. %U http://dblp.uni-trier.de/db/conf/itaero/itaero2012.html#0002EFP12 %@ 978-1-60086-939-6

@inproceedings{conf/itaero/0002EFP12, added-at = {2023-12-12T22:26:37.000+0100}, author = {Gerke, Michael and Ehlers, Rüdiger and Finkbeiner, Bernd and Peter, Hans-Jörg}, biburl = {https://www.bibsonomy.org/bibtex/29177e79e84147bf35fe08ee74d32b4e8/admin}, booktitle = {Infotech@Aerospace}, crossref = {conf/itaero/2012}, ee = {https://doi.org/10.2514/6.2012-2583}, interhash = {4a4d5d35bee085c5328fb702b16ab4b7}, intrahash = {9177e79e84147bf35fe08ee74d32b4e8}, isbn = {978-1-60086-939-6}, keywords = {}, timestamp = {2023-12-12T22:26:37.000+0100}, title = {FlexRay for Avionics: Automatic Verification with Parametric Physical Layers.}, url = {http://dblp.uni-trier.de/db/conf/itaero/itaero2012.html#0002EFP12}, year = 2012 }