%0 Conference Paper %1 conf/icteri/LetichevskyLP12 %A Letichevsky, Alexander A. %A Letychevskyi, Olexander A. %A Peschanenko, Vladimir S. %B ICTERI %D 2012 %E Ermolayev, Vadim %E Mayr, Heinrich C. %E Nikitchenko, Mykola S. %E Spivakovsky, Aleksander %E Zholtkevych, Grygoriy %E Zavileysky, Mikhail %E Kobets, Vitaliy %I CEUR-WS.org %K dblp %P 71-81 %T Efficient Algorithm for Reachability Checking in Modeling. %U http://dblp.uni-trier.de/db/conf/icteri/icteri2012.html#LetichevskyLP12 %V 848

@inproceedings{conf/icteri/LetichevskyLP12, added-at = {2023-03-10T00:00:00.000+0100}, author = {Letichevsky, Alexander A. and Letychevskyi, Olexander A. and Peschanenko, Vladimir S.}, biburl = {https://www.bibsonomy.org/bibtex/24de7abd289e8017708951791d695663e/dblp}, booktitle = {ICTERI}, crossref = {conf/icteri/2012}, editor = {Ermolayev, Vadim and Mayr, Heinrich C. and Nikitchenko, Mykola S. and Spivakovsky, Aleksander and Zholtkevych, Grygoriy and Zavileysky, Mikhail and Kobets, Vitaliy}, ee = {https://ceur-ws.org/Vol-848/ICTERI-2012-CEUR-WS-paper-34-p-71-81.pdf}, interhash = {d707b348598b07017fd763ec4d2f814c}, intrahash = {4de7abd289e8017708951791d695663e}, keywords = {dblp}, pages = {71-81}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T20:25:16.000+0200}, title = {Efficient Algorithm for Reachability Checking in Modeling.}, url = {http://dblp.uni-trier.de/db/conf/icteri/icteri2012.html#LetichevskyLP12}, volume = 848, year = 2012 }