%0 Conference Paper %1 conf/icteri/BaklanovaRSS15 %A Baklanova, Nadezhda %A Ricciotti, Wilmer %A Smaus, Jan-Georg %A Strecker, Martin %B ICTERI %D 2015 %E Batsakis, Sotiris %E Mayr, Heinrich C. %E Yakovyna, Vitaliy %E Nikitchenko, Mykola S. %E Zholtkevych, Grygoriy %E Kharchenko, Vyacheslav S. %E Kravtsov, Hennadiy %E Kobets, Vitaliy %E Peschanenko, Vladimir S. %E Ermolayev, Vadim %E Bobalo, Yuriy %E Spivakovsky, Aleksander %I CEUR-WS.org %K dblp %P 354-365 %T Abstracting an Operational Semantics to Finite Automata. %U http://dblp.uni-trier.de/db/conf/icteri/icteri2015.html#BaklanovaRSS15 %V 1356

@inproceedings{conf/icteri/BaklanovaRSS15, added-at = {2023-03-10T00:00:00.000+0100}, author = {Baklanova, Nadezhda and Ricciotti, Wilmer and Smaus, Jan-Georg and Strecker, Martin}, biburl = {https://www.bibsonomy.org/bibtex/23bf83a8f470bba391262bddd43bc9c4e/dblp}, booktitle = {ICTERI}, crossref = {conf/icteri/2015}, editor = {Batsakis, Sotiris and Mayr, Heinrich C. and Yakovyna, Vitaliy and Nikitchenko, Mykola S. and Zholtkevych, Grygoriy and Kharchenko, Vyacheslav S. and Kravtsov, Hennadiy and Kobets, Vitaliy and Peschanenko, Vladimir S. and Ermolayev, Vadim and Bobalo, Yuriy and Spivakovsky, Aleksander}, ee = {https://ceur-ws.org/Vol-1356/paper_76.pdf}, interhash = {f54b7fb9f26a977fe1f573c14d52078c}, intrahash = {3bf83a8f470bba391262bddd43bc9c4e}, keywords = {dblp}, pages = {354-365}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T20:25:02.000+0200}, title = {Abstracting an Operational Semantics to Finite Automata.}, url = {http://dblp.uni-trier.de/db/conf/icteri/icteri2015.html#BaklanovaRSS15}, volume = 1356, year = 2015 }