22nd Workshop Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2019, Kaiserslautern, Germany, March 8-9, 2019. VDE Verlag, 2019. [doi]
Conference: mbmv2019
@proceedings{mbmv-2019, title = {22nd Workshop Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2019, Kaiserslautern, Germany, March 8-9, 2019}, year = {2019}, url = {https://ieeexplore.ieee.org/servlet/opac?punumber=8727152}, researchr = {https://researchr.org/publication/mbmv-2019}, cites = {0}, citedby = {0}, booktitle = {22nd Workshop Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2019, Kaiserslautern, Germany, March 8-9, 2019}, conference = {mbmv}, publisher = {VDE Verlag}, isbn = {978-3-8007-4945-4}, }