%0 Conference Paper %1 conf/birthday/HieronsM023 %A Hierons, Robert M. %A Merayo, Mercedes G. %A Núñez, Manuel %B Applicable Formal Methods for Safe Industrial Products %D 2023 %E Haxthausen, Anne E. %E ling Huang, Wen %E Roggenbach, Markus %I Springer %K dblp %P 34-48 %T Implementation Relations for Distributed Testing. %U http://dblp.uni-trier.de/db/conf/birthday/Peleska2023.html#HieronsM023 %V 14165 %@ 978-3-031-40132-9

@inproceedings{conf/birthday/HieronsM023, added-at = {2023-09-20T00:00:00.000+0200}, author = {Hierons, Robert M. and Merayo, Mercedes G. and Núñez, Manuel}, biburl = {https://www.bibsonomy.org/bibtex/22600e411d24e9aafa9397345e5c5b760/dblp}, booktitle = {Applicable Formal Methods for Safe Industrial Products}, crossref = {conf/birthday/2023peleska}, editor = {Haxthausen, Anne E. and ling Huang, Wen and Roggenbach, Markus}, ee = {https://doi.org/10.1007/978-3-031-40132-9_3}, interhash = {d8395a580f683161e8da53b8b2bf860a}, intrahash = {2600e411d24e9aafa9397345e5c5b760}, isbn = {978-3-031-40132-9}, keywords = {dblp}, pages = {34-48}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:05:07.000+0200}, title = {Implementation Relations for Distributed Testing.}, url = {http://dblp.uni-trier.de/db/conf/birthday/Peleska2023.html#HieronsM023}, volume = 14165, year = 2023 }