%0 Conference Paper %1 conf/etfa/LimalPDL07 %A Limal, Steve %A Potier, Stéphane %A Denis, Bruno %A Lesage, Jean-Jacques %B ETFA %D 2007 %I IEEE %K dblp %P 1045-1052 %T Formal verification of redundant media extension of Ethernet PowerLink. %U http://dblp.uni-trier.de/db/conf/etfa/etfa2007.html#LimalPDL07 %@ 978-1-4244-0825-2

@inproceedings{conf/etfa/LimalPDL07, added-at = {2012-12-13T00:00:00.000+0100}, author = {Limal, Steve and Potier, Stéphane and Denis, Bruno and Lesage, Jean-Jacques}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/289bea73da19a1bd7be5fc93f0d085c8a/dblp}, booktitle = {ETFA}, crossref = {conf/etfa/2007}, ee = {http://dx.doi.org/10.1109/EFTA.2007.4416898}, interhash = {c05ea761da1fb7c6eee20427455830ba}, intrahash = {89bea73da19a1bd7be5fc93f0d085c8a}, isbn = {978-1-4244-0825-2}, keywords = {dblp}, pages = {1045-1052}, publisher = {IEEE}, timestamp = {2016-02-02T16:14:16.000+0100}, title = {Formal verification of redundant media extension of Ethernet PowerLink.}, url = {http://dblp.uni-trier.de/db/conf/etfa/etfa2007.html#LimalPDL07}, year = 2007 }