Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record journals/access/NejatiHKZ23
@article{DBLP:journals/access/NejatiHKZ23, author = {Faranak Nejati and Nor Asilah Wati Abdul Hamid and Sina Zangbari Koohi and Zahra Rahmani Zadeh}, title = {An Incremental Optimization Algorithm for Efficient Verification of Graph Transformation Systems}, journal = {{IEEE} Access}, volume = {11}, pages = {75748--75760}, year = {2023}, url = {https://doi.org/10.1109/ACCESS.2023.3291412}, doi = {10.1109/ACCESS.2023.3291412}, timestamp = {Sat, 05 Aug 2023 00:01:59 +0200}, biburl = {https://dblp.org/rec/journals/access/NejatiHKZ23.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.