default search action
BibTeX record conf/intellisys/YousafAAB18
@inproceedings{DBLP:conf/intellisys/YousafAAB18, author = {Nazish Yousaf and Muhammad Waseem Anwar and Farooque Azam and Wasi Haider Butt}, editor = {Kohei Arai and Supriya Kapoor and Rahul Bhatia}, title = {A Comprehensive Investigation of Formal System Verification Tools and Approaches}, booktitle = {Intelligent Systems and Applications - Proceedings of the 2018 Intelligent Systems Conference, IntelliSys 2018, London, UK, September 6-7, 2018, Volume 2}, series = {Advances in Intelligent Systems and Computing}, volume = {869}, pages = {1245--1255}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-01057-7\_94}, doi = {10.1007/978-3-030-01057-7\_94}, timestamp = {Tue, 07 May 2024 20:05:11 +0200}, biburl = {https://dblp.org/rec/conf/intellisys/YousafAAB18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.