Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Vladimir S. Peschanenko. An Interleaving Reduction for Reachability Checking in Symbolic Modeling. In Sotiris Batsakis, Heinrich C. Mayr, Vitaliy Yakovyna, Mykola Nikitchenko, Grygoriy Zholtkevych, Vyacheslav Kharchenko, Hennadiy Kravtsov, Vitaliy Kobets, Vladimir S. Peschanenko, Vadim Ermolayev, Yuriy Bobalo, Aleksander Spivakovsky, editors, 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. Volume 1356 of CEUR Workshop Proceedings, pages 338-353, CEUR-WS.org, 2015. [doi]
@inproceedings{LetichevskyLP15,
title = {An Interleaving Reduction for Reachability Checking in Symbolic Modeling},
author = {Alexander A. Letichevsky and Oleksandr A. Letychevskyi and Vladimir S. Peschanenko},
year = {2015},
url = {http://ceur-ws.org/Vol-1356/paper_74.pdf},
researchr = {https://researchr.org/publication/LetichevskyLP15},
cites = {0},
citedby = {0},
pages = {338-353},
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},
editor = {Sotiris Batsakis and Heinrich C. Mayr and Vitaliy Yakovyna and Mykola Nikitchenko and Grygoriy Zholtkevych and Vyacheslav Kharchenko and Hennadiy Kravtsov and Vitaliy Kobets and Vladimir S. Peschanenko and Vadim Ermolayev and Yuriy Bobalo and Aleksander Spivakovsky},
volume = {1356},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}