![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
BibTeX record conf/icteri/LetichevskyLP15
@inproceedings{DBLP:conf/icteri/LetichevskyLP15, author = {Alexander A. Letichevsky and Oleksandr A. Letychevskyi and Vladimir S. Peschanenko}, editor = {Sotiris Batsakis and Heinrich C. Mayr and Vitaliy Yakovyna and Mykola S. Nikitchenko and Grygoriy Zholtkevych and Vyacheslav S. Kharchenko and Hennadiy Kravtsov and Vitaliy Kobets and Vladimir S. Peschanenko and Vadim Ermolayev and Yuriy Bobalo and Aleksander Spivakovsky}, title = {An Interleaving Reduction for Reachability Checking in Symbolic Modeling}, booktitle = {Proceedings of the 11th International Conference on {ICT} in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Lviv, Ukraine, May 14-16, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1356}, pages = {338--353}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1356/paper\_74.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:15 +0100}, biburl = {https://dblp.org/rec/conf/icteri/LetichevskyLP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.