Werner Grass, Thomas Kropf, Matthias Mutz. Formale Methoden bei der Spezifikation von Hardware. it - Information Technology, 40(3):13-17, 1998. [doi]
@article{GrassKM98,
title = {Formale Methoden bei der Spezifikation von Hardware},
author = {Werner Grass and Thomas Kropf and Matthias Mutz},
year = {1998},
doi = {10.1524/itit.1998.40.3.13},
url = {http://dx.doi.org/10.1524/itit.1998.40.3.13},
researchr = {https://researchr.org/publication/GrassKM98},
cites = {0},
citedby = {0},
journal = {it - Information Technology},
volume = {40},
number = {3},
pages = {13-17},
}