Volkmar Pleßer. Generierung von kurzen Testsequenzen für LOTOS-Verhaltensspezifikationen mit Hilfe von Fehlermodellen. Praxis der Informationsverarbeitung und Kommunikation, 17(3):150-155, 1994. [doi]
@article{Plesser94,
title = {Generierung von kurzen Testsequenzen für LOTOS-Verhaltensspezifikationen mit Hilfe von Fehlermodellen},
author = {Volkmar Pleßer},
year = {1994},
doi = {10.1515/piko.1994.17.3.136},
url = {http://dx.doi.org/10.1515/piko.1994.17.3.136},
researchr = {https://researchr.org/publication/Plesser94},
cites = {0},
citedby = {0},
journal = {Praxis der Informationsverarbeitung und Kommunikation},
volume = {17},
number = {3},
pages = {150-155},
}