%0 Conference Paper %1 conf/vdat/SelvakumarMPD21 %A Selvakumar, David %A Mervin, J. %A Pattanshetty, Shashikala Gunderao %A Desalphine, Vivian %B VDAT %D 2021 %I IEEE %K dblp %P 1-6 %T Formal Verification and Analysis of a Pseudo Random Number Generator. %U http://dblp.uni-trier.de/db/conf/vdat/vdat2021.html#SelvakumarMPD21 %@ 978-1-6654-1992-5

@inproceedings{conf/vdat/SelvakumarMPD21, added-at = {2021-11-19T00:00:00.000+0100}, author = {Selvakumar, David and Mervin, J. and Pattanshetty, Shashikala Gunderao and Desalphine, Vivian}, biburl = {https://www.bibsonomy.org/bibtex/2c70e099a6eb6d86e2790acf67d4ff037/dblp}, booktitle = {VDAT}, crossref = {conf/vdat/2021}, ee = {https://doi.org/10.1109/VDAT53777.2021.9601109}, interhash = {374a1d543eb546d395f931f9d4d6cb13}, intrahash = {c70e099a6eb6d86e2790acf67d4ff037}, isbn = {978-1-6654-1992-5}, keywords = {dblp}, pages = {1-6}, publisher = {IEEE}, timestamp = {2024-04-10T01:49:33.000+0200}, title = {Formal Verification and Analysis of a Pseudo Random Number Generator.}, url = {http://dblp.uni-trier.de/db/conf/vdat/vdat2021.html#SelvakumarMPD21}, year = 2021 }