Proof of equivalence of semantic methods for a selected domain-specific language

@article{Steingartner_2024,
   doi = {10.17512/jamcm.2024.2.07},
   url = {https://doi.org/10.17512/jamcm.2024.2.07},
   year = 2024,
   publisher = {The Publishing Office of Czestochowa University of Technology},
   volume = {23},
   number = {2},
   pages = {79--92},
   author = {William Steingartner and  Valerie Novitzká and  Wolfgang Schreiner},
   title = {Proof of equivalence of semantic methods for a selected domain-specific language},
   journal = {Journal of Applied Mathematics and Computational Mechanics}
}

TY  - JOUR
DO  - 10.17512/jamcm.2024.2.07
UR  - https://doi.org/10.17512/jamcm.2024.2.07
TI  - Proof of equivalence of semantic methods for a selected domain-specific language
T2  - Journal of Applied Mathematics and Computational Mechanics
JA  - J Appl Math Comput Mech
AU  - Steingartner, William
AU  - Novitzká, Valerie
AU  - Schreiner, Wolfgang
PY  - 2024
PB  - The Publishing Office of Czestochowa University of Technology
SP  - 79
EP  - 92
IS  - 2
VL  - 23
SN  - 2299-9965
SN  - 2353-0588
ER  - 

Steingartner, W., Novitzká, V., & Schreiner, W. (2024). Proof of equivalence of semantic methods for a selected domain-specific language. Journal of Applied Mathematics and Computational Mechanics, 23(2), 79-92. doi:10.17512/jamcm.2024.2.07

Steingartner, W., Novitzká, V. & Schreiner, W., 2024. Proof of equivalence of semantic methods for a selected domain-specific language. Journal of Applied Mathematics and Computational Mechanics, 23(2), pp.79-92. Available at: https://doi.org/10.17512/jamcm.2024.2.07

[1]W. Steingartner, V. Novitzká and W. Schreiner, "Proof of equivalence of semantic methods for a selected domain-specific language," Journal of Applied Mathematics and Computational Mechanics, vol. 23, no. 2, pp. 79-92, 2024.

Steingartner, William, Valerie Novitzká, and Wolfgang Schreiner. "Proof of equivalence of semantic methods for a selected domain-specific language." Journal of Applied Mathematics and Computational Mechanics 23.2 (2024): 79-92. CrossRef. Web.

1. Steingartner W, Novitzká V, Schreiner W. Proof of equivalence of semantic methods for a selected domain-specific language. Journal of Applied Mathematics and Computational Mechanics. The Publishing Office of Czestochowa University of Technology; 2024;23(2):79-92. Available from: https://doi.org/10.17512/jamcm.2024.2.07

Steingartner, William, Valerie Novitzká, and Wolfgang Schreiner. "Proof of equivalence of semantic methods for a selected domain-specific language." Journal of Applied Mathematics and Computational Mechanics 23, no. 2 (2024): 79-92. doi:10.17512/jamcm.2024.2.07