Wen-ling Huang, Robert Sachtleben. Conformance Relations Between Input/Output Languages. In Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach, editors, Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday. Volume 14165 of Lecture Notes in Computer Science, pages 49-67, Springer, 2023. [doi]
@inproceedings{HuangS23-14,
title = {Conformance Relations Between Input/Output Languages},
author = {Wen-ling Huang and Robert Sachtleben},
year = {2023},
doi = {10.1007/978-3-031-40132-9_4},
url = {https://doi.org/10.1007/978-3-031-40132-9_4},
researchr = {https://researchr.org/publication/HuangS23-14},
cites = {0},
citedby = {0},
pages = {49-67},
booktitle = {Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday},
editor = {Anne E. Haxthausen and Wen-ling Huang and Markus Roggenbach},
volume = {14165},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-40132-9},
}