%0 Conference Paper %1 conf/sdl/LetichevskyLPW15 %A Letichevsky, Alexander A. %A Letychevskyi, Oleksandr A. %A Peschanenko, Volodymyr %A Weigert, Thomas %B SDL Forum %D 2015 %E Fischer, Joachim %E Scheidgen, Markus %E Schieferdecker, Ina %E Reed, Rick %I Springer %K dblp %P 3-18 %T Insertion Modeling and Symbolic Verification of Large Systems. %U http://dblp.uni-trier.de/db/conf/sdl/sdl2015.html#LetichevskyLPW15 %V 9369 %@ 978-3-319-24911-7

@inproceedings{conf/sdl/LetichevskyLPW15, added-at = {2017-06-15T00:00:00.000+0200}, author = {Letichevsky, Alexander A. and Letychevskyi, Oleksandr A. and Peschanenko, Volodymyr and Weigert, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2a8a6586b8c2d7e0286482defb3e8d7f6/dblp}, booktitle = {SDL Forum}, crossref = {conf/sdl/2015}, editor = {Fischer, Joachim and Scheidgen, Markus and Schieferdecker, Ina and Reed, Rick}, ee = {https://doi.org/10.1007/978-3-319-24912-4_1}, interhash = {9052df3034c550f8f4852f7c6c8e2cf4}, intrahash = {a8a6586b8c2d7e0286482defb3e8d7f6}, isbn = {978-3-319-24911-7}, keywords = {dblp}, pages = {3-18}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:47:11.000+0200}, title = {Insertion Modeling and Symbolic Verification of Large Systems.}, url = {http://dblp.uni-trier.de/db/conf/sdl/sdl2015.html#LetichevskyLPW15}, volume = 9369, year = 2015 }