%0 Conference Paper %1 conf/fdl/FunckAHD23 %A Funck, Milan %A Ahmadi-Pour, Sallar %A Herdt, Vladimir %A Drechsler, Rolf %B FDL %D 2023 %I IEEE %K dblp %P 1-8 %T Identification of ISA-Level Mutation-Classes for Qualification of RISC-V Formal Verification. %U http://dblp.uni-trier.de/db/conf/fdl/fdl2023.html#FunckAHD23 %@ 979-8-3503-0737-5

@inproceedings{conf/fdl/FunckAHD23, added-at = {2023-10-20T00:00:00.000+0200}, author = {Funck, Milan and Ahmadi-Pour, Sallar and Herdt, Vladimir and Drechsler, Rolf}, biburl = {https://www.bibsonomy.org/bibtex/2eb9dc4151b6f2ae2b37ee26db9b37f49/dblp}, booktitle = {FDL}, crossref = {conf/fdl/2023}, ee = {https://doi.org/10.1109/FDL59689.2023.10272202}, interhash = {2f4d9451b222154be6e5f69e4337f901}, intrahash = {eb9dc4151b6f2ae2b37ee26db9b37f49}, isbn = {979-8-3503-0737-5}, keywords = {dblp}, pages = {1-8}, publisher = {IEEE}, timestamp = {2024-04-09T19:33:38.000+0200}, title = {Identification of ISA-Level Mutation-Classes for Qualification of RISC-V Formal Verification.}, url = {http://dblp.uni-trier.de/db/conf/fdl/fdl2023.html#FunckAHD23}, year = 2023 }